#include <op_partition.h>
Definition at line 46 of file op_partition.h.
Public Member Functions | |
Partition () | |
Constructor. | |
void | writeInfoMap (Idx event) const |
Write info-map to console. | |
Public Attributes | |
Idx | index |
Unique index. | |
StateSet | states |
Pointer to the associated StateSet. | |
Partition * | pFather |
Index of the parent coset. | |
Partition * | pBrother |
Index of the brother coset. | |
Partition * | pFirstChild |
Index of first child coset. | |
Partition * | pSecondChild |
Index of second child coset. | |
bool | nonSplitting |
indicates if the current partition is stable with respect to this coset | |
map< Idx, map< Idx, Idx > > | infoMap |
Info-map. | |
Idx | numberOfStates |
number of states in this coset |
|
Constructor.
Definition at line 33 of file op_partition.cpp. |
|
Write info-map to console.
Definition at line 40 of file op_partition.cpp. |
|
Unique index.
Definition at line 52 of file op_partition.h. |
|
Info-map. First Idx: event, second Idx: state, third Idx: number of occurences Definition at line 73 of file op_partition.h. |
|
indicates if the current partition is stable with respect to this coset
Definition at line 70 of file op_partition.h. |
|
number of states in this coset
Definition at line 84 of file op_partition.h. |
|
Index of the brother coset.
Definition at line 61 of file op_partition.h. |
|
Index of the parent coset.
Definition at line 58 of file op_partition.h. |
|
Index of first child coset.
Definition at line 64 of file op_partition.h. |
|
Index of second child coset.
Definition at line 67 of file op_partition.h. |
|
Pointer to the associated StateSet.
Definition at line 55 of file op_partition.h. |