faudes::Hopcroft Class Reference
Detailed DescriptionDefinition at line 43 of file cfl_statemin.cpp. Constructor & Destructor Documentation
Initialize from specified generator. Definition at line 86 of file cfl_statemin.cpp.
Destruct. Definition at line 135 of file cfl_statemin.cpp. Member Function Documentation
Hopcroft iteration (invoke this only once, needs empty blocks vector) Definition at line 143 of file cfl_statemin.cpp.
Definition at line 261 of file cfl_statemin.cpp.
Definition at line 337 of file cfl_statemin.cpp.
plain stl set debugging output Definition at line 62 of file cfl_statemin.cpp. Member Data Documentation
Hopcroft algorithm data structure: vector of blocks [revision 201508 tmoor: use plain stl vectors and maintain sorting manually]. Definition at line 76 of file cfl_statemin.cpp.
Definition at line 57 of file cfl_statemin.cpp.
Keep reference to argument (symbolic names etc) Definition at line 81 of file cfl_statemin.cpp.
Definition at line 56 of file cfl_statemin.cpp. The documentation for this class was generated from the following file: libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |