| |
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.Definition at line 44 of file op_partition.h.
Constructor & Destructor Documentation
Member Function Documentation
Write info-map to console.
Definition at line 42 of file op_partition.cpp.
Member Data Documentationindicates if the current partition is stable with respect to this coset
Definition at line 68 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.
The documentation for this struct was generated from the following files: |
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6