spot
1.99.1
|
Public Member Functions | |
scc (int index) | |
Public Attributes | |
int | index |
Index of the SCC. More... | |
acc_cond::mark_t | acc |
std::list< const state * > | states |
States of the component. More... | |
cond_set | conds |
Set of conditions used in the SCC. More... | |
bdd | supp |
Conjunction of atomic propositions used in the SCC. More... | |
bdd | supp_rec |
Conjunction of atomic propositions used in the SCC. More... | |
succ_type | succ |
Successor SCC. More... | |
bool | trivial |
Trivial SCC have one state and no self-loops. More... | |
std::set< acc_cond::mark_t > | useful_acc |
Set of acceptance combinations used in the SCC. More... | |
acc_cond::mark_t spot::scc_map::scc::acc |
The union of all acceptance conditions of transitions which connect the states of the connected component.
cond_set spot::scc_map::scc::conds |
Set of conditions used in the SCC.
int spot::scc_map::scc::index |
Index of the SCC.
std::list<const state*> spot::scc_map::scc::states |
States of the component.
succ_type spot::scc_map::scc::succ |
Successor SCC.
bdd spot::scc_map::scc::supp |
Conjunction of atomic propositions used in the SCC.
bdd spot::scc_map::scc::supp_rec |
Conjunction of atomic propositions used in the SCC.
bool spot::scc_map::scc::trivial |
Trivial SCC have one state and no self-loops.
std::set<acc_cond::mark_t> spot::scc_map::scc::useful_acc |
Set of acceptance combinations used in the SCC.