#include <ta/ta.hh>
Public Member Functions |
void | push (int index) |
| Stack a new SCC with index index.
|
connected_component & | top () |
| Access the top SCC.
|
const connected_component & | top () const |
| Access the top SCC.
|
void | pop () |
| Pop the top SCC.
|
size_t | size () const |
| How many SCC are in stack.
|
std::list< state * > & | rem () |
| The rem member of the top SCC.
|
bool | empty () const |
| Is the stack empty?
|
Member Typedef Documentation
Member Function Documentation
bool spot::scc_stack_ta::empty |
( |
| ) |
const |
void spot::scc_stack_ta::pop |
( |
| ) |
|
void spot::scc_stack_ta::push |
( |
int |
index | ) |
|
Stack a new SCC with index index.
std::list<state*>& spot::scc_stack_ta::rem |
( |
| ) |
|
The rem
member of the top SCC.
size_t spot::scc_stack_ta::size |
( |
| ) |
const |
How many SCC are in stack.
Member Data Documentation
The documentation for this class was generated from the following file: