spot
1.1.3
|
#include <tgbaalgos/gtec/sccstack.hh>
Public Member Functions | |
connected_component (int index=-1) | |
Public Attributes | |
int | index |
Index of the SCC. More... | |
bdd | condition |
std::list< const state * > | rem |
spot::scc_stack::connected_component::connected_component | ( | int | index = -1 ) |
bdd spot::scc_stack::connected_component::condition |
The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component.
int spot::scc_stack::connected_component::index |
Index of the SCC.
std::list<const state*> spot::scc_stack::connected_component::rem |