An immutable stack of lists of items of type BoolExpr, each item paired with a boolean value indicating if we want the item to stay in the stack when popping the stack.
A proxy that prints the dialog with its KeepStack on stdout.
A simple mock proxy that implements the assertion stack using a singly linked list.
A proxy that does nothing.
Companion object (allows to create instances of the trait given a particular proxy object, defaults to the UnitSolverProxy[BoolExpr].
An immutable stack of lists of items of type BoolExpr, each item paired with a boolean value indicating if we want the item to stay in the stack when popping the stack. Embeds a proxy to a statefull SMT solver, and enforces the item keeping mechanism on the proxy.