path_enumeratort Class Reference

#include <path_enumerator.h>

Inheritance diagram for path_enumeratort:

Public Member Functions
virtual	~path_enumeratort ()
virtual bool	next (patht &path)=0

Detailed Description

Definition at line 21 of file path_enumerator.h.

Constructor & Destructor Documentation

~path_enumeratort()

virtual path_enumeratort::~path_enumeratort ( )

inlinevirtual

Definition at line 24 of file path_enumerator.h.

Member Function Documentation

next()

virtual bool path_enumeratort::next ( patht &  path )

pure virtual

Implemented in all_paths_enumeratort, and sat_path_enumeratort.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/accelerate/path_enumerator.h