#include <tgbaalgos/gtec/explscc.hh>
Inheritance diagram for spot::explicit_connected_component:
Public Member Functions | |
virtual | ~explicit_connected_component () |
virtual const state * | has_state (const state *s) const =0 |
Check if the SCC contains states s. | |
virtual void | insert (const state *s)=0 |
Insert a new state in the SCC. | |
Public Attributes | |
int | index |
Index of the SCC. | |
bdd | condition |
std::list< const state * > | rem |
|
|
|
Check if the SCC contains states s. Return the representative of s in the SCC, and delete s if it is different (acting like numbered_state_heap::filter), or 0 otherwise. Implemented in spot::connected_component_hash_set. |
|
Insert a new state in the SCC.
Implemented in spot::connected_component_hash_set. |
|
The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component. |
|
Index of the SCC.
|
|
|