package escargot
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class Escargot extends ResolutionProver
- case class KBO(precedence: Seq[Const], constWeights: Map[Const, Int] = Map()) extends TermOrdering with Product with Serializable
- case class LPO(precedence: Seq[String] = Seq(), typeOrderLt: (Ty, Ty) => Boolean = ( _, _ ) => false) extends TermOrdering with Product with Serializable
- trait TermOrdering extends AnyRef
Value Members
- object Escargot extends Escargot
- object NonSplittingEscargot extends Escargot
- object QfUfEscargot extends Escargot
This is the API documentation for GAPT.
The main package is gapt.