faudes::Partition Struct ReferenceThis struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton. More...
Detailed DescriptionThis struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton. Definition at line 44 of file op_partition.h. Constructor & Destructor Documentation
Constructor. Definition at line 35 of file op_partition.cpp. Member Function Documentation
Write info-map to console.
Definition at line 42 of file op_partition.cpp. Member Data DocumentationUnique index. Definition at line 50 of file op_partition.h.
Info-map. First Idx: event, second Idx: state, third Idx: number of occurences Definition at line 71 of file op_partition.h. indicates if the current partition is stable with respect to this coset Definition at line 68 of file op_partition.h. number of states in this coset Definition at line 82 of file op_partition.h. Index of the brother coset. Definition at line 59 of file op_partition.h. Index of the parent coset. Definition at line 56 of file op_partition.h. Index of first child coset. Definition at line 62 of file op_partition.h. Index of second child coset. Definition at line 65 of file op_partition.h. Pointer to the associated StateSet. Definition at line 53 of file op_partition.h. The documentation for this struct was generated from the following files: libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |