23#include <spot/twa/twa.hh>
43 std::list<const state*> rem;
62 std::list<const state*>&
rem();
72 typedef std::list<connected_component> stack_type;
Definition: sccstack.hh:30
void pop()
Pop the top SCC.
const connected_component & top() const
Access the top SCC.
std::list< const state * > & rem()
The rem member of the top SCC.
connected_component & top()
Access the top SCC.
bool empty() const
Is the stack empty?
void push(int index)
Stack a new SCC with index index.
size_t size() const
How many SCC are in stack.
Definition: automata.hh:26
An acceptance mark.
Definition: acc.hh:84
Definition: sccstack.hh:33
int index
Index of the SCC.
Definition: sccstack.hh:38
acc_cond::mark_t condition
Definition: sccstack.hh:41