spot
1.2.1a
|
This is the complete list of members for spot::stack_of_roots, including all inherited members.
is_empty() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
max_size() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
pop() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
push_non_trivial(unsigned int root, markset m, unsigned int) | spot::stack_of_roots | inlinevirtual |
push_trivial(unsigned int root) (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
root_of_the_top() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
size() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
stack_of_roots(acc_dict &acc) (defined in spot::stack_of_roots) | spot::stack_of_roots | inline |
top_acceptance() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |
~stack_of_roots() (defined in spot::stack_of_roots) | spot::stack_of_roots | inlinevirtual |