Packages

p

gapt.provers

escargot

package escargot

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

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

Value Members

  1. object Escargot extends Escargot
  2. object IEscargot
  3. object NonSplittingEscargot extends Escargot
  4. object QfUfEscargot extends Escargot

Ungrouped