spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups 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...
 
bdd 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...
 
bdd useful_acc
 Set of acceptance combinations used in the SCC. More...
 

Member Data Documentation

bdd 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.

bdd spot::scc_map::scc::useful_acc

Set of acceptance combinations used in the SCC.

Note that the encoding used here differs from the encoding used in automata. If some transitions of the automaton are labeled by Acc[a]&!Acc[b]&!Acc[c] | !Acc[a]&Acc[b]&!Acc[c] an other transitions are labeled by !Acc[a]&Acc[b]&!Acc[c] | !Acc[a]&!Acc[b]&Acc[c] then useful_acc will contain Acc[a]&Acc[b]&!Acc[c] | !Acc[a]&Acc[b]&Acc[c]


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 Thu May 15 2014 11:04:12 for spot by doxygen 1.8.4