spot  1.99.1
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Member Functions | Public Attributes | List of all members
spot::scc_map::scc Struct Reference
Collaboration diagram for spot::scc_map::scc:
Collaboration graph

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_tuseful_acc
 Set of acceptance combinations used in the SCC. More...
 

Member Data Documentation

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.


The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jun 23 2015 06:55:47 for spot by doxygen 1.8.8