#include <tgbaalgos/gtec/sccstack.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< const state * > & | rem () |
| The rem member of the top SCC.
|
unsigned | clear_rem () |
bool | empty () const |
| Is the stack empty?
|
Member Typedef Documentation
Member Function Documentation
unsigned spot::scc_stack::clear_rem |
( |
| ) |
|
Purge all rem
members.
- Returns
- the number of elements cleared.
bool spot::scc_stack::empty |
( |
| ) |
const |
void spot::scc_stack::pop |
( |
| ) |
|
void spot::scc_stack::push |
( |
int |
index | ) |
|
Stack a new SCC with index index.
std::list<const state*>& spot::scc_stack::rem |
( |
| ) |
|
The rem
member of the top SCC.
size_t spot::scc_stack::size |
( |
| ) |
const |
How many SCC are in stack.
Member Data Documentation
The documentation for this class was generated from the following file: