Package

at.logic.gapt

grammars

Permalink

package grammars

Source
package.scala
Linear Supertypes
Content Hierarchy
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

    Permalink
  2. class GrammarMinimizationFormula extends VectGrammarMinimizationFormula

    Permalink
  3. class RecSchemGenLangFormula extends AnyRef

    Permalink
  4. case class RecSchemTemplate(axiom: Const, template: Set[(LambdaExpression, LambdaExpression)]) extends Product with Serializable

    Permalink
  5. case class RecursionScheme(axiom: Const, nonTerminals: Set[Const], rules: Set[Rule]) extends Product with Serializable

    Permalink
  6. case class Rule(lhs: LambdaExpression, rhs: LambdaExpression) extends Product with Serializable

    Permalink
  7. case class SipGrammar(productions: Set[Production]) extends Product with Serializable

    Permalink
  8. case class SipGrammarMinimizationFormula(g: SipGrammar) extends Product with Serializable

    Permalink
  9. class TermGenerationFormula extends AnyRef

    Permalink
  10. case class TratGrammar(axiom: FOLVar, nonTerminals: Seq[FOLVar], productions: Set[Production]) extends Product with Serializable

    Permalink
  11. class VectGrammarMinimizationFormula extends AnyRef

    Permalink
  12. case class VectTratGrammar(axiom: FOLVar, nonTerminals: Seq[NonTerminalVect], productions: Set[Production]) extends Product with Serializable

    Permalink

Value Members

  1. object RecSchemTemplate extends Serializable

    Permalink
  2. object RecursionScheme extends Serializable

    Permalink
  3. object SipGrammar extends Serializable

    Permalink
  4. object SipRecSchem extends RecSchemTemplate

    Permalink
  5. object TargetFilter

    Permalink
  6. object TratGrammar extends Serializable

    Permalink
  7. object VectTratGrammar extends Serializable

    Permalink
  8. object atoms

    Permalink
  9. object canonicalVars

    Permalink
  10. object deltaTableAlgorithm

    Permalink
  11. object findMinimalGrammar

    Permalink
  12. object findMinimalSipGrammar

    Permalink
  13. object findMinimalVectGrammar

    Permalink
  14. object instantiateRS

    Permalink
  15. object leastGeneralGeneralization

    Permalink

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

  16. object leastGeneralGeneralization1

    Permalink

    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.

  17. object minimizeGrammar

    Permalink
  18. object minimizeRecursionScheme extends Logger

    Permalink
  19. object minimizeSipGrammar extends Logger

    Permalink
  20. object minimizeVectGrammar

    Permalink
  21. object preOrderTraversal

    Permalink
  22. object recSchemToVTRATG

    Permalink
  23. package reforest

    Permalink
  24. implicit object rulesClosedUnderSubstitution extends ClosedUnderSub[Rule]

    Permalink
  25. object stableProofGrammar

    Permalink
  26. object stableProofVectGrammar

    Permalink
  27. object stableSipGrammar

    Permalink
  28. object stableTerms

    Permalink
  29. object stsSubsumedByLGG

    Permalink
  30. object subsetLGGs

    Permalink
  31. object takeN

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped