CBMC
|
#include <path_enumerator.h>
Public Member Functions | |
virtual | ~path_enumeratort () |
virtual bool | next (patht &path)=0 |
Definition at line 21 of file path_enumerator.h.
|
inlinevirtual |
Definition at line 24 of file path_enumerator.h.
Implemented in all_paths_enumeratort, and sat_path_enumeratort.