faudes::SOE::State Struct Reference internal representation of transition relation with consecutive indexed states and events More...
Detailed Descriptioninternal representation of transition relation with consecutive indexed states and events Definition at line 118 of file syn_synthequiv.cpp. Member Data Documentation
Part 1. Definition at line 120 of file syn_synthequiv.cpp.
Definition at line 127 of file syn_synthequiv.cpp.
Definition at line 128 of file syn_synthequiv.cpp.
Part 3: Definition at line 132 of file syn_synthequiv.cpp.
Definition at line 122 of file syn_synthequiv.cpp.
Part 2 (only via an transition) Definition at line 125 of file syn_synthequiv.cpp.
Definition at line 126 of file syn_synthequiv.cpp.
Definition at line 136 of file syn_synthequiv.cpp.
Definition at line 121 of file syn_synthequiv.cpp. The documentation for this struct was generated from the following file: libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |