p

at.logic.gapt

grammars

package grammars

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. grammars
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class DeltaTableMethod (singleQuantifier: Boolean = false, subsumedRowMerging: Boolean = false, keyLimit: Option[Int] = None) extends GrammarFindingMethod with Product with Serializable
  2. abstract class GeneralLeastGeneralGeneralization extends AnyRef
  3. class Pi2Grammar extends Pi2PreGrammar
  4. case class Pi2PreGrammar (startSymbol: Var, alpha: Var, betas: Vector[Var], productions: Vector[(Var, Expr)]) extends Product with Serializable
  5. class RecSchemGenLangFormula extends AnyRef
  6. case class RecSchemTemplate (startSymbol: Const, template: Set[(Expr, Expr)]) extends Product with Serializable
  7. case class RecursionScheme (startSymbol: Const, nonTerminals: Set[Const], rules: Set[Rule]) extends Product with Serializable
  8. case class Rule (lhs: Expr, rhs: Expr) extends Product with Serializable
  9. case class SipGrammar (productions: Set[Production]) extends Product with Serializable
  10. case class SipGrammarMinimizationFormula (g: SipGrammar) extends Product with Serializable
  11. case class VTRATG (startSymbol: Var, nonTerminals: Seq[NonTerminalVect], productions: Set[Production]) extends Product with Serializable
  12. class VectGrammarMinimizationFormula extends AnyRef
  13. case class VtratgParameter (nonTerminalTypes: Seq[Seq[TBase]]) extends Product with Serializable
  14. class VtratgTermGenerationFormula extends AnyRef
  15. class leastGeneralGeneralization extends AnyRef

Value Members

  1. object Pi2Grammar extends Serializable
  2. object RecSchemTemplate extends Serializable
  3. object RecursionScheme extends Serializable
  4. object SipGrammar extends Serializable
  5. object SipRecSchem extends RecSchemTemplate
  6. object TRATG
  7. object TargetFilter
  8. object VTRATG extends Serializable
  9. object VtratgParameter extends Serializable
  10. object canonicalVars
  11. object deltaTableAlgorithm
  12. object findMinimalPi2Grammar
  13. object findMinimalSipGrammar
  14. object findMinimalVTRATG
  15. object instantiateRS
  16. object leastGeneralGeneralization extends GeneralLeastGeneralGeneralization

    Computes the minimum of two terms in the subsumption lattice, together with the substitutions witnessing the subsumption.

  17. object leastGeneralGeneralization1 extends GeneralLeastGeneralGeneralization

    Computes the minimum of two terms in the subsumption lattice of terms with at most one free variable, together with the substitutions witnessing the subsumption.

  18. object minimizePi2Grammar
  19. object minimizeRecursionScheme extends Logger
  20. object minimizeSipGrammar extends Logger
  21. object minimizeVTRATG
  22. object preOrderTraversal
  23. implicit object recSchemIsReplaceable extends ClosedUnderReplacement[RecursionScheme]
  24. object recSchemToVTRATG
  25. implicit object ruleIsReplaceable extends ClosedUnderReplacement[Rule]
  26. implicit object rulesClosedUnderSubstitution extends ClosedUnderSub[Rule]
  27. object stablePi2Grammar
  28. object stableSipGrammar
  29. object stableTerms
  30. object stableVTRATG
  31. object stsSubsumedByLGG
  32. object subsetLGGs

Inherited from AnyRef

Inherited from Any

Ungrouped