spot
1.2.1a
|
This is the complete list of members for spot::generic_stack, including all inherited members.
empty_ | spot::generic_stack | protected |
generic_stack(acc_dict &acc) (defined in spot::generic_stack) | spot::generic_stack | inline |
max_size() (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |
max_size_ | spot::generic_stack | protected |
pop(int) (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |
push_non_transient(unsigned int root, const markset &m) (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |
push_transient(unsigned int root) (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |
size() (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |
top(int) (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |
~generic_stack() (defined in spot::generic_stack) | spot::generic_stack | inlinevirtual |