Package

at.logic.gapt

grammars

Permalink

package grammars

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. class GrammarMinimizationFormula extends VectGrammarMinimizationFormula

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

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

    Permalink
  4. class TermGenerationFormula extends AnyRef

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

    Permalink
  6. class VectGrammarMinimizationFormula extends AnyRef

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

    Permalink

Value Members

  1. object SameRootSymbol

    Permalink
  2. object SipGrammar extends Serializable

    Permalink
  3. object TratGrammar extends Serializable

    Permalink
  4. object VectTratGrammar extends Serializable

    Permalink
  5. object antiUnificator

    Permalink
  6. object atoms

    Permalink
  7. object findMinimalGrammar

    Permalink
  8. object findMinimalSipGrammar

    Permalink
  9. object findMinimalVectGrammar

    Permalink
  10. object minimizeGrammar

    Permalink
  11. object minimizeSipGrammar

    Permalink
  12. object minimizeVectGrammar

    Permalink
  13. object nfsSubsumedByAU

    Permalink
  14. object normalForms

    Permalink
  15. object normalFormsProofGrammar

    Permalink
  16. object normalFormsProofVectGrammar

    Permalink
  17. object normalFormsSipGrammar

    Permalink
  18. object takeN

    Permalink
  19. object termSize

    Permalink

Ungrouped