|
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< const state * > & | rem () |
| The rem member of the top SCC.
|
|
bool | empty () const |
| Is the stack empty?
|
|
◆ empty()
bool spot::scc_stack_ta::empty |
( |
| ) |
const |
◆ pop()
void spot::scc_stack_ta::pop |
( |
| ) |
|
◆ push()
void spot::scc_stack_ta::push |
( |
int |
index | ) |
|
Stack a new SCC with index index.
◆ rem()
std::list< const state * > & spot::scc_stack_ta::rem |
( |
| ) |
|
The rem
member of the top SCC.
◆ size()
size_t spot::scc_stack_ta::size |
( |
| ) |
const |
How many SCC are in stack.
◆ top() [1/2]
◆ top() [2/2]
The documentation for this class was generated from the following file: