|
enum | color { Alive,
Dead,
Unknown
} |
| The color for a new State. More...
|
|
The color for a new State.
virtual bool spot::setOfDisjointSetsIPC_LRPC_MS::add |
( |
const fasttgba_state * |
s | ) |
|
|
virtual |
Add a partition that contains only s Suppose a clone() has been done and the union-find is in charge to perform the destroy()
Reimplemented from spot::union_find.
Add the acceptance set to the partition that contains the state s.
Reimplemented from spot::union_find.
virtual bool spot::setOfDisjointSetsIPC_LRPC_MS::contains |
( |
const fasttgba_state * |
s | ) |
|
|
virtual |
Return wether a state belong to the Union-Find structure.
Reimplemented from spot::union_find.
return the acceptance set of the partition containing s
Reimplemented from spot::union_find.
virtual bool spot::setOfDisjointSetsIPC_LRPC_MS::is_dead |
( |
const fasttgba_state * |
s | ) |
|
|
virtual |
check wether the root of the set containing this scc is dead.
Reimplemented from spot::union_find.
virtual void spot::setOfDisjointSetsIPC_LRPC_MS::make_dead |
( |
const fasttgba_state * |
s | ) |
|
|
virtual |
virtual int spot::setOfDisjointSetsIPC_LRPC_MS::max_alive |
( |
| ) |
|
|
virtual |
The size of alive elements i-e elements stored in the union find.
Reimplemented from spot::union_find.
virtual int spot::setOfDisjointSetsIPC_LRPC_MS::max_dead |
( |
| ) |
|
|
virtual |
The size of dead elements i-e elements stored outside the union find
Reimplemented from spot::union_find.
Return true if the partition of left is the same that the partition of right.
Reimplemented from spot::union_find.
virtual unsigned int spot::setOfDisjointSetsIPC_LRPC_MS::size |
( |
| ) |
|
|
virtual |
Perform the union of the two partition containing left and right. No assumptions over the resulting parent can be do.
Reimplemented from spot::union_find.
The acceptance dictionary.
std::vector<markset *> spot::union_find::accp |
|
protectedinherited |
Acceptance associated to each element.
Avoid to re-create some elements.
std::vector<int> spot::union_find::idneg |
|
protectedinherited |
For each element store the id of the parent.
The documentation for this class was generated from the following file: