|
spot
1.2.6
|
#include <tgbaalgos/gtec/explscc.hh>


Public Member Functions | |
| virtual const state * | has_state (const state *s) const |
| Check if the SCC contains states s. More... | |
| virtual void | insert (const state *s) |
| Insert a new state in the SCC. More... | |
Public Attributes | |
| int | index |
| Index of the SCC. More... | |
| bdd | condition |
| std::list< const state * > | rem |
Protected Types | |
|
typedef Sgi::hash_set< const state *, state_ptr_hash, state_ptr_equal > | set_type |
Protected Attributes | |
| set_type | states |
A straightforward implementation of explicit_connected_component using a hash.
Check if the SCC contains states s.
Return the representative of s in the SCC, and destroy s if it is different (acting like numbered_state_heap::filter), or 0 otherwise.
Implements spot::explicit_connected_component.
|
virtual |
Insert a new state in the SCC.
Implements spot::explicit_connected_component.
|
inherited |
The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component.
|
inherited |
Index of the SCC.
1.8.4