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