| |
libFAUDES
Sections
Index
|
faudes::Partition Struct Reference#include <op_partition.h>
Detailed DescriptionThis struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton.
Constructor & Destructor Documentation
Constructor.
Member Function Documentation
Write info-map to console.
Member Data DocumentationUnique index.
Pointer to the associated StateSet.
Index of the parent coset.
Index of the brother coset.
Index of first child coset.
Index of second child coset.
indicates if the current partition is stable with respect to this coset
Info-map. First Idx: event, second Idx: state, third Idx: number of occurences number of states in this coset
The documentation for this struct was generated from the following files: |
libFAUDES 2.13a c++ source docu by doxygen 1.5.6