|
| compressed_stack_of_roots (acc_dict &acc) |
|
virtual bool | is_empty () |
|
virtual unsigned int | size () |
|
virtual void | push_trivial (unsigned int root) |
|
virtual void | push_non_trivial (unsigned int root, markset m, unsigned int last=0) |
| < Unused for this implem More...
|
|
virtual unsigned int | root_of_the_top () |
|
virtual void | pop () |
|
virtual const markset & | top_acceptance () |
|
virtual unsigned int | max_size () |
|
virtual void spot::compressed_stack_of_roots::push_non_trivial |
( |
unsigned int |
root, |
|
|
markset |
m, |
|
|
unsigned int |
= 0 |
|
) |
| |
|
inlinevirtual |
virtual unsigned int spot::compressed_stack_of_roots::root_of_the_top |
( |
| ) |
|
|
inlinevirtual |
This method returns the root stored at the top of the root stack.
Reimplemented from spot::stack_of_roots.
The documentation for this class was generated from the following file: