Packages

package escargot

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class Escargot extends ResolutionProver
  2. case class KBO(precedence: Seq[Const], constWeights: Map[Const, Int] = Map()) extends TermOrdering with Product with Serializable
  3. case class LPO(precedence: Seq[Const] = Seq(), typeOrder: Set[(Ty, Ty)] = Set()) extends TermOrdering with Product with Serializable
  4. trait TermOrdering extends AnyRef

Value Members

  1. object Escargot extends Escargot
  2. object NonSplittingEscargot extends Escargot

Ungrouped