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 |
|
|
|
Check if the SCC contains states s.
|
|
The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component. |
|
|
|
for the counter example we need to know all the states of the component |