#include <tgbaalgos/gtec/sccstack.hh>
Constructor & Destructor Documentation
spot::scc_stack::connected_component::connected_component |
( |
int |
index = -1 | ) |
|
Member Data Documentation
bdd spot::scc_stack::connected_component::condition |
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 |
std::list<const state*> spot::scc_stack::connected_component::rem |
The documentation for this struct was generated from the following file: