faudes::Hopcroft::State Struct Reference Internal representation of reverse transition relation with consecutive indexed states and events. More...
Detailed DescriptionInternal representation of reverse transition relation with consecutive indexed states and events. Technically, re-indexing is equivalent to "pointers on original indicees" and buffers log-n searches for transitions Definition at line 52 of file cfl_statemin.cpp. Member Data Documentation
Definition at line 53 of file cfl_statemin.cpp.
Definition at line 54 of file cfl_statemin.cpp. The documentation for this struct was generated from the following file: libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |