Package

util.stack

immutable

Permalink

package immutable

Visibility
  1. Public
  2. All

Type Members

  1. sealed trait AssertionStack[BoolExpr] extends AnyRef

    Permalink

    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.

    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.

  2. class PrintingSolverProxyMock[BoolExpr] extends StackSolverProxy[BoolExpr]

    Permalink

    A proxy that prints the dialog with its KeepStack on stdout.

  3. class StackSolverProxyMock[BoolExpr] extends StackSolverProxy[BoolExpr]

    Permalink

    A simple mock proxy that implements the assertion stack using a singly linked list.

  4. class UnitSolverProxyMock[BoolExpr] extends StackSolverProxy[BoolExpr]

    Permalink

    A proxy that does nothing.

Value Members

  1. object AssertionStack

    Permalink

    Companion object (allows to create instances of the trait given a particular proxy object, defaults to the UnitSolverProxy[BoolExpr].

Ungrouped