faudes::ReductionStateInfo Struct Reference Data structure for identifying states in the same coset for supervisor reduction. More...
Detailed DescriptionData structure for identifying states in the same coset for supervisor reduction. Definition at line 43 of file syn_supreduce.cpp. Member Data Documentation
Definition at line 46 of file syn_supreduce.cpp.
Definition at line 45 of file syn_supreduce.cpp.
Definition at line 47 of file syn_supreduce.cpp.
Definition at line 48 of file syn_supreduce.cpp.
Definition at line 44 of file syn_supreduce.cpp. The documentation for this struct was generated from the following file: libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |