Adds a list of assertions to the current top level assertion set.
Adds a list of assertions to the current top level assertion set.
Adds an assertion to the current top level assertion set.
Adds an assertion to the current top level assertion set.
Name of the solver (used in debug prints).
Name of the solver (used in debug prints).
Pops the topmost n levels of the assertion stack.
Pops the topmost n levels of the assertion stack. 'n' must be < stacksize-1.
Pushes a new empty assertion set on the assertion stack.
Pushes a new empty assertion set on the assertion stack.
Pops all the stack and restores the solvers initial state.
Pops all the stack and restores the solvers initial state.
Returns true iff the given keep stacks contains the same elements than.
A simple mock proxy that implements the assertion stack using a singly linked list.