package escargot
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- All
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[Const] = Seq(), typeOrder: Set[(Ty, Ty)] = Set()) extends TermOrdering with Product with Serializable
- trait TermOrdering extends AnyRef
This is the API documentation for GAPT.
The main package is at.logic.gapt.