|
spot
2.3.3.dev
|

Classes | |
| struct | connected_component |
Public Types | |
| typedef std::list< connected_component > | stack_type |
Public Member Functions | |
| void | push (int index) |
| Stack a new SCC with index index. More... | |
| connected_component & | top () |
| Access the top SCC. More... | |
| const connected_component & | top () const |
| Access the top SCC. More... | |
| void | pop () |
| Pop the top SCC. More... | |
| size_t | size () const |
| How many SCC are in stack. More... | |
| std::list< const state * > & | rem () |
The rem member of the top SCC. More... | |
| unsigned | clear_rem () |
| bool | empty () const |
| Is the stack empty? More... | |
Public Attributes | |
| stack_type | s |
| unsigned spot::scc_stack::clear_rem | ( | ) |
Purge all rem members.
| bool spot::scc_stack::empty | ( | ) | const |
Is the stack empty?
| void spot::scc_stack::pop | ( | ) |
Pop the top SCC.
| 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.
| connected_component& spot::scc_stack::top | ( | ) |
Access the top SCC.
| const connected_component& spot::scc_stack::top | ( | ) | const |
Access the top SCC.
1.8.13