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 RecSchemGenLangFormula extends AnyRef
  4. case class RecSchemTemplate (startSymbol: Const, template: Set[(LambdaExpression, LambdaExpression)]) extends Product with Serializable
  5. case class RecursionScheme (startSymbol: Const, nonTerminals: Set[Const], rules: Set[Rule]) extends Product with Serializable
  6. case class Rule (lhs: LambdaExpression, rhs: LambdaExpression) extends Product with Serializable
  7. case class SipGrammar (productions: Set[Production]) extends Product with Serializable
  8. case class SipGrammarMinimizationFormula (g: SipGrammar) extends Product with Serializable
  9. case class VTRATG (startSymbol: Var, nonTerminals: Seq[NonTerminalVect], productions: Set[Production]) extends Product with Serializable
  10. class VectGrammarMinimizationFormula extends AnyRef
  11. case class VtratgParameter (nonTerminalTypes: Seq[Seq[TBase]]) extends Product with Serializable
  12. class VtratgTermGenerationFormula extends AnyRef
  13. class leastGeneralGeneralization extends AnyRef

Value Members

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

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

  14. 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.

  15. object minimizeRecursionScheme extends Logger
  16. object minimizeSipGrammar extends Logger
  17. object minimizeVTRATG
  18. object preOrderTraversal
  19. implicit object recSchemIsReplaceable extends ClosedUnderReplacement[RecursionScheme]
  20. object recSchemToVTRATG
  21. implicit object ruleIsReplaceable extends ClosedUnderReplacement[Rule]
  22. implicit object rulesClosedUnderSubstitution extends ClosedUnderSub[Rule]
  23. object stableSipGrammar
  24. object stableTerms
  25. object stableVTRATG
  26. object stsSubsumedByLGG
  27. object subsetLGGs

Inherited from AnyRef

Inherited from Any

Ungrouped