faudes::Bisimulation::State Struct Reference internal representation of transition relation with consecutive indexed states and events Revision 20150724 tmoor — technically, re-indexing is equivalent to "pointers on source indicees" and buffers log-n searches [30sec -> 10sec for our testcases] More...
Detailed Descriptioninternal representation of transition relation with consecutive indexed states and events Revision 20150724 tmoor — technically, re-indexing is equivalent to "pointers on source indicees" and buffers log-n searches [30sec -> 10sec for our testcases] Definition at line 206 of file cfl_bisimulation.cpp. Member Data Documentation
Definition at line 207 of file cfl_bisimulation.cpp.
Definition at line 211 of file cfl_bisimulation.cpp.
Definition at line 210 of file cfl_bisimulation.cpp.
Definition at line 209 of file cfl_bisimulation.cpp.
Definition at line 208 of file cfl_bisimulation.cpp. The documentation for this struct was generated from the following file: libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |