[−][src]Module tptp::fof

the FOF dialect

Structs

AndFormula	`fof_and_formula`
Arguments	`fof_arguments`
BinaryNonassoc	`fof_binary_nonassoc`
DefinedAtomicTerm	`fof_defined_atomic_term`
DefinedInfixFormula	`fof_defined_infix_formula`
DefinedPlainFormula	`fof_defined_plain_formula`
DefinedPlainTerm	`fof_defined_plain_term`
Formula	`fof_formula`
InfixUnary	`fof_infix_unary`
OrFormula	`fof_or_formula`
PlainAtomicFormula	`fof_plain_atomic_formula`
QuantifiedFormula	`fof_quantified_formula`
SystemAtomicFormula	`fof_system_atomic_formula`
VariableList	`fof_variable_list`

Enums

AtomicFormula	`fof_atomic_formula`
BinaryAssoc	`fof_binary_assoc`
BinaryFormula	`fof_binary_formula`
DefinedAtomicFormula	`fof_defined_atomic_formula`
DefinedTerm	`fof_defined_term`
FunctionTerm	`fof_function_term`
LogicFormula	`fof_logic_formula`
PlainTerm	`fof_plain_term`
Quantifier	`fof_quantifier`
SystemTerm	`fof_system_term`
Term	`fof_term`
UnaryFormula	`fof_unary_formula`
UnitFormula	`fof_unit_formula`
UnitaryFormula	`fof_unitary_formula`