spot
1.2.1a
|
Classes | |
struct | stack_pair |
Public Member Functions | |
generic_stack (acc_dict &acc) | |
virtual unsigned int | size () |
virtual void | push_transient (unsigned int root) |
virtual void | push_non_transient (unsigned int root, const markset &m) |
virtual stack_pair | pop (int) |
virtual stack_pair | top (int) |
virtual unsigned int | max_size () |
Protected Attributes | |
markset * | empty_ |
The empty markset. More... | |
unsigned int | max_size_ |
The max size of the stack. More... | |
|
protected |
The empty markset.
|
protected |
The max size of the stack.