package grammars
Ordering
- Alphabetic
- By Inheritance
Inherited
- grammars
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- case class DeltaTableMethod (singleQuantifier: Boolean = false, subsumedRowMerging: Boolean = false, keyLimit: Option[Int] = None) extends GrammarFindingMethod with Product with Serializable
- abstract class GeneralLeastGeneralGeneralization extends AnyRef
- class Pi2Grammar extends Pi2PreGrammar
- case class Pi2PreGrammar (startSymbol: Var, alpha: Var, betas: Vector[Var], productions: Vector[(Var, Expr)]) extends Product with Serializable
- class RecSchemGenLangFormula extends AnyRef
- case class RecSchemTemplate (startSymbol: Const, template: Set[(Expr, Expr)]) extends Product with Serializable
- case class RecursionScheme (startSymbol: Const, nonTerminals: Set[Const], rules: Set[Rule]) extends Product with Serializable
- case class Rule (lhs: Expr, rhs: Expr) extends Product with Serializable
- case class SipGrammar (productions: Set[Production]) extends Product with Serializable
- case class SipGrammarMinimizationFormula (g: SipGrammar) extends Product with Serializable
- case class VTRATG (startSymbol: Var, nonTerminals: Seq[NonTerminalVect], productions: Set[Production]) extends Product with Serializable
- class VectGrammarMinimizationFormula extends AnyRef
- case class VtratgParameter (nonTerminalTypes: Seq[Seq[TBase]]) extends Product with Serializable
- class VtratgTermGenerationFormula extends AnyRef
- class leastGeneralGeneralization extends AnyRef
Value Members
- object Pi2Grammar extends Serializable
- object RecSchemTemplate extends Serializable
- object RecursionScheme extends Serializable
- object SipGrammar extends Serializable
- object SipRecSchem extends RecSchemTemplate
- object TRATG
- object TargetFilter
- object VTRATG extends Serializable
- object VtratgParameter extends Serializable
- object canonicalVars
- object deltaTableAlgorithm
- object findMinimalPi2Grammar
- object findMinimalSipGrammar
- object findMinimalVTRATG
- object instantiateRS
-
object
leastGeneralGeneralization
extends GeneralLeastGeneralGeneralization
Computes the minimum of two terms in the subsumption lattice, together with the substitutions witnessing the subsumption.
-
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.
- object minimizePi2Grammar
- object minimizeRecursionScheme extends Logger
- object minimizeSipGrammar extends Logger
- object minimizeVTRATG
- object preOrderTraversal
- implicit object recSchemIsReplaceable extends ClosedUnderReplacement[RecursionScheme]
- object recSchemToVTRATG
- implicit object ruleIsReplaceable extends ClosedUnderReplacement[Rule]
- implicit object rulesClosedUnderSubstitution extends ClosedUnderSub[Rule]
- object stablePi2Grammar
- object stableSipGrammar
- object stableTerms
- object stableVTRATG
- object stsSubsumedByLGG
- object subsetLGGs