faudes::ReductionStateInfo Struct ReferenceData 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 33 of file syn_supreduce.h. Member Data DocumentationDefinition at line 36 of file syn_supreduce.h. Definition at line 35 of file syn_supreduce.h. Definition at line 37 of file syn_supreduce.h. Definition at line 38 of file syn_supreduce.h. Definition at line 34 of file syn_supreduce.h. The documentation for this struct was generated from the following file: libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |