#include <tgbaalgos/gtec/explscc.hh>
Detailed Description
A straightforward implementation of explicit_connected_component using a hash.
Member Typedef Documentation
Constructor & Destructor Documentation
virtual spot::connected_component_hash_set::~connected_component_hash_set |
( |
| ) |
|
|
inlinevirtual |
Member Function Documentation
virtual const state* spot::connected_component_hash_set::has_state |
( |
const state * |
s | ) |
const |
|
virtual |
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 void spot::connected_component_hash_set::insert |
( |
const state * |
s | ) |
|
|
virtual |
Member Data Documentation
bdd spot::scc_stack::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::scc_stack::connected_component::index |
|
inherited |
std::list<const state*> spot::scc_stack::connected_component::rem |
|
inherited |
set_type spot::connected_component_hash_set::states |
|
protected |
The documentation for this class was generated from the following file: