[−][src]Module tptp::syntax

Parsed TPTP structures

Structs

Annotations	`annotations`
AtomicDefinedWord	`atomic_defined_word`
AtomicSystemWord	`atomic_system_word`
CnfAnnotated	`cnf_annotated`
Constant	`constant`
DefinedConstant	`defined_constant`
DefinedFunctor	`defined_functor`
DefinedInfixPred	`defined_infix_pred`
Disjunction	`disjunction`
DistinctObject	`distinct_object`
DollarDollarWord	`dollar_dollar_word`
DollarWord	`dollar_word`
FileName	`file_name`
FofAndFormula	`fof_and_formula`
FofAnnotated	`fof_annotated`
FofArguments	`fof_arguments`
FofBinaryNonassoc	`fof_binary_nonassoc`
FofDefinedAtomicTerm	`fof_defined_atomic_term`
FofDefinedInfixFormula	`fof_defined_infix_formula`
FofDefinedPlainFormula	`fof_defined_plain_formula`
FofDefinedPlainTerm	`fof_defined_plain_term`
FofFormula	`fof_formula`
FofInfixUnary	`fof_infix_unary`
FofOrFormula	`fof_or_formula`
FofPlainAtomicFormula	`fof_plain_atomic_formula`
FofQuantifiedFormula	`fof_quantified_formula`
FofSystemAtomicFormula	`fof_system_atomic_formula`
FofVariableList	`fof_variable_list`
FormulaSelection	`formula_selection`
Functor	`functor`
GeneralFunction	`general_function`
GeneralList	`general_list`
GeneralTerms	`general_terms`
Include	`include`
InfixEquality	`infix_equality`
InfixInequality	`infix_inequality`
Integer	`integer`
LowerWord	`lower_word`
NameList	`name_list`
OptionalInfo	`optional_info`
Rational	`rational`
Real	`rational`
SingleQuoted	`single_quoted`
Source	`source`
SystemConstant	`system_constant`
SystemFunctor	`system_functor`
UnaryConnective	`unary_connective`
UpperWord	`upper_word`
UsefulInfo	`useful_info`
Variable	`variable`

Enums

AnnotatedFormula	`annotated_formula`
AssocConnective	`assoc_connective`
AtomicWord	`atomic_word`
CnfFormula	`cnf_formula`
DefinedTerm	`defined_term`
FofAtomicFormula	`fof_atomic_formula`
FofBinaryAssoc	`fof_binary_assoc`
FofBinaryFormula	`fof_binary_formula`
FofDefinedAtomicFormula	`fof_defined_atomic_formula`
FofDefinedTerm	`fof_defined_term`
FofFunctionTerm	`fof_function_term`
FofLogicFormula	`fof_logic_formula`
FofPlainTerm	`fof_plain_term`
FofQuantifier	`fof_quantifier`
FofSystemTerm	`fof_system_term`
FofTerm	`fof_term`
FofUnaryFormula	`fof_unary_formula`
FofUnitFormula	`fof_unit_formula`
FofUnitaryFormula	`fof_unitary_formula`
FormulaData	`formula_data`
FormulaRole	`formula_role`
GeneralData	`general_data`
GeneralTerm	`general_term`
Literal	`literal`
Name	`name`
NonassocConnective	`nonassoc_connective`
Number	`number`
TPTPInput	`TPTP_input`