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