Packages

p

at.logic.gapt

cutintro

package cutintro

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

Type Members

  1. trait GrammarFindingMethod extends AnyRef
  2. case class MaxSATMethod (solver: MaxSATSolver, nonTerminalLengths: Int*) extends GrammarFindingMethod with Product with Serializable
  3. 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.

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

Ungrouped