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. class EscargotLoop extends Logger

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

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

    Permalink
  5. trait TermOrdering extends AnyRef

    Permalink

Value Members

  1. object Escargot extends Escargot

    Permalink

Ungrouped