Package

at.logic.gapt

grammars

Permalink

package grammars

Content Hierarchy
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 antiUnifier

    Permalink

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

  9. object antiUnifier1

    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.

  10. object atoms

    Permalink
  11. object canonicalVars

    Permalink
  12. object deltaTableAlgorithm

    Permalink
  13. package deltatableOld

    Permalink
  14. object findMinimalGrammar

    Permalink
  15. object findMinimalSipGrammar

    Permalink
  16. object findMinimalVectGrammar

    Permalink
  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 qbupForRecSchem

    Permalink
  23. object recSchemToVTRATG

    Permalink
  24. package reforest

    Permalink
  25. object stableProofGrammar

    Permalink
  26. object stableProofVectGrammar

    Permalink
  27. object stableSipGrammar

    Permalink
  28. object stableTerms

    Permalink
  29. object stsSubsumedByAU

    Permalink
  30. object subsetAUs

    Permalink
  31. object takeN

    Permalink

Ungrouped