at
.
logic
.
gapt
grammars
package
grammars
Content Hierarchy
Learn more about scaladoc diagrams
GrammarMinimizationFormula
VectGrammarMinimizationFormula
Visibility
Public
All
Type Members
class
GrammarMinimizationFormula
extends
VectGrammarMinimizationFormula
case class
SipGrammar
(
productions:
Seq
[
Production
]
)
extends
Product
with
Serializable
case class
SipGrammarMinimizationFormula
(
g:
SipGrammar
)
extends
Product
with
Serializable
class
TermGenerationFormula
extends
AnyRef
case class
TratGrammar
(
axiom:
FOLVar
,
nonTerminals:
Seq
[
FOLVar
]
,
productions:
Seq
[
Production
]
)
extends
Product
with
Serializable
class
VectGrammarMinimizationFormula
extends
AnyRef
case class
VectTratGrammar
(
axiom:
FOLVar
,
nonTerminals:
Seq
[
NonTerminalVect
]
,
productions:
Seq
[
Production
]
)
extends
Product
with
Serializable
Value Members
object
SameRootSymbol
object
SipGrammar
extends
Serializable
object
TratGrammar
extends
Serializable
object
VectTratGrammar
extends
Serializable
object
antiUnificator
object
atoms
object
findMinimalGrammar
object
findMinimalSipGrammar
object
findMinimalVectGrammar
object
minimizeGrammar
object
minimizeSipGrammar
object
minimizeVectGrammar
object
nfsSubsumedByAU
object
normalForms
object
normalFormsProofGrammar
object
normalFormsProofVectGrammar
object
normalFormsSipGrammar
object
takeN
object
termSize
Ungrouped