Package

util

stack

Permalink

package stack

Visibility
  1. Public
  2. All

Type Members

  1. trait SolverProxy[BoolExpr] extends AnyRef

    Permalink
  2. trait SolverProxyMakeMethods[BoolIdent <: BoolExpr, BoolExpr] extends AnyRef

    Permalink

    Abstract type for a proxy to a statefull solver that allows to create fresh variables, negations, conjunctions, disjunctions.

  3. trait SolverProxyStackMethods[BoolExpr] extends AnyRef

    Permalink

    Abstract type for a proxy to a statefull solver with an assertion stack.

  4. trait StackSolverProxy[BoolExpr] extends SolverProxy[BoolExpr] with SolverProxyStackMethods[BoolExpr]

    Permalink

Value Members

  1. package immutable

    Permalink

Ungrouped