[−][src]Module tptp::fof
the FOF dialect
Structs
AndFormula | |
Arguments | |
BinaryNonassoc | |
DefinedAtomicTerm | |
DefinedInfixFormula | |
DefinedPlainFormula | |
Formula | |
InfixUnary | |
OrFormula | |
PlainAtomicFormula | |
QuantifiedFormula | |
SystemAtomicFormula | |
VariableList |
Enums
AtomicFormula | |
BinaryAssoc | |
BinaryFormula | |
DefinedAtomicFormula | |
DefinedPlainTerm | |
DefinedTerm | |
FunctionTerm | |
LogicFormula | |
PlainTerm | |
Quantifier | |
SystemTerm | |
Term | |
UnaryFormula | |
UnitFormula | |
UnitaryFormula |