Package

at.logic.gapt.provers

escargot

Permalink

package escargot

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class Escargot extends ResolutionProver

    Permalink
  2. case class KBO(precedence: Seq[Const], constWeights: Map[Const, Int] = Map()) extends TermOrdering with Product with Serializable

    Permalink
  3. case class LPO(precedence: Seq[Const] = Seq(), typeOrder: Set[(Ty, Ty)] = Set()) extends TermOrdering with Product with Serializable

    Permalink
  4. trait TermOrdering extends AnyRef

    Permalink

Value Members

  1. object Escargot extends Escargot

    Permalink
  2. object NonSplittingEscargot extends Escargot

    Permalink
  3. package impl

    Permalink

Ungrouped