[−][src]Module tptp::syntax
Parsed TPTP structures
Structs
Annotations |
|
AtomicDefinedWord |
|
CnfAnnotated |
|
DefinedConstant |
|
DefinedFunctor |
|
DefinedInfixPred |
|
Disjunction |
|
DollarWord |
|
FileName |
|
FofAndFormula |
|
FofAnnotated |
|
FofArguments |
|
FofBinaryNonassoc |
|
FofDefinedAtomicTerm |
|
FofDefinedInfixFormula |
|
FofDefinedPlainFormula |
|
FofDefinedPlainTerm |
|
FofDefinedTerm |
|
FofFormula |
|
FofInfixUnary |
|
FofOrFormula |
|
FofPlainAtomicFormula |
|
FofQuantifiedFormula |
|
FofVariableList |
|
FormulaSelection |
|
Functor |
|
GeneralFunction |
|
GeneralList |
|
GeneralTerms |
|
Include |
|
InfixEquality |
|
InfixInequality |
|
Integer |
|
LowerWord |
|
NameList |
|
OptionalInfo |
|
SingleQuoted |
|
Source |
|
UnaryConnective |
|
UpperWord |
|
UsefulInfo |
|
Variable |
|
Enums
AnnotatedFormula |
|
AssocConnective |
|
AtomicWord |
|
CnfFormula |
|
FofAtomicFormula |
|
FofBinaryAssoc |
|
FofBinaryFormula |
|
FofDefinedAtomicFormula |
|
FofFunctionTerm |
|
FofLogicFormula |
|
FofPlainTerm |
|
FofQuantifier |
|
FofTerm |
|
FofUnaryFormula |
|
FofUnitFormula |
|
FofUnitaryFormula |
|
FormulaData |
|
FormulaRole |
|
GeneralData |
|
GeneralTerm |
|
Literal |
|
Name |
|
NonassocConnective |
|
TPTPInput |
|
Traits
Visitor |