Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::emptiness_check::connected_component_set Struct Reference

Inheritance diagram for spot::emptiness_check::connected_component_set:

Inheritance graph
[legend]
Collaboration diagram for spot::emptiness_check::connected_component_set:

Collaboration graph
[legend]
List of all members.

Public Types

typedef Sgi::hash_set< const
state *, state_ptr_hash, state_ptr_equal
set_type

Public Member Functions

bool has_state (const state *s) const
 Check if the SCC contains states s.


Public Attributes

set_type states
int index
bdd condition

Member Typedef Documentation

typedef Sgi::hash_set<const state*, state_ptr_hash, state_ptr_equal> spot::emptiness_check::connected_component_set::set_type
 


Member Function Documentation

bool spot::emptiness_check::connected_component_set::has_state const state s  )  const
 

Check if the SCC contains states s.


Member Data Documentation

bdd spot::emptiness_check::connected_component::condition [inherited]
 

The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component.

int spot::emptiness_check::connected_component::index [inherited]
 

set_type spot::emptiness_check::connected_component_set::states
 

for the counter example we need to know all the states of the component


The documentation for this struct was generated from the following file:
Generated on Mon Mar 8 23:31:54 2004 for spot by doxygen 1.3.5