Packages

p

at.logic.gapt

cutintro

package cutintro

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class ClauseWithIndexLists extends AnyRef
  2. class ClausesWithIndexLists extends AnyRef
  3. trait GrammarFindingMethod extends AnyRef
  4. class LeafIndex extends AnyRef
  5. class LiteralWithIndexLists extends AnyRef
  6. case class MaxSATMethod (solver: MaxSATSolver, nonTerminalLengths: Int*) extends GrammarFindingMethod with Product with Serializable
  7. case class Pi2SeHs (reducedRepresentation: Sequent[FOLFormula], universalEigenvariable: FOLVar, existentialEigenvariables: List[FOLVar], substitutionsForAlpha: List[LambdaExpression], substitutionsForBetaWithAlpha: List[LambdaExpression]) extends Product with Serializable

    Created by root on 26.01.17.

  8. case class SchematicExtendedHerbrandSequent (us: Sequent[(FOLFormula, Seq[Seq[FOLTerm]])], ss: Seq[(Seq[FOLVar], Seq[Seq[FOLTerm]])]) extends Product with Serializable

    Represents a schematic extended Herbrand sequent.

    Represents a schematic extended Herbrand sequent.

    us

    Formulas of the original end-sequent, together with their instances.

    ss

    Instances of the cut-implications.

  9. case class SolutionStructure (sehs: SchematicExtendedHerbrandSequent, formulas: Seq[FOLFormula]) extends Product with Serializable

Ungrouped