[−][src]Module tptp::parsers

nom parsers corresponding to TPTP BNF

Structs

iterator returning tptp_input, separated with ignored.

annotated_formula
annotations
atomic_defined_word
atomic_system_word
atomic_word
cnf_annotated
cnf_formula
comment_block
comment_line
constant
defined_constant
defined_functor
defined_infix_pred
defined_term
disjunction
distinct_object
dollar_dollar_word
dollar_word
file_name
fof_and_formula
fof_annotated
fof_arguments
fof_atomic_formula
fof_binary_assoc
fof_binary_formula
fof_binary_nonassoc
fof_defined_atomic_formula
fof_defined_atomic_term
fof_defined_infix_formula
fof_defined_plain_formula
fof_defined_plain_term
fof_defined_term
fof_formula
fof_function_term
fof_infix_unary
fof_logic_formula
fof_or_formula
fof_plain_atomic_formula
fof_plain_term
fof_quantified_formula
fof_quantifier
fof_system_atomic_formula
fof_system_term
fof_term
fof_unary_formula
fof_unit_formula
fof_unitary_formula
fof_variable_list
formula_data
formula_role
formula_selection
functor
general_data
general_function
general_list
general_term
general_terms
ignored	zero or more `whitespace`, `comment_line`, or `comment_block`
include
infix_equality
infix_inequality
integer
is_do_char
is_sq_char
is_visible
literal
lower_word
name
name_list
nonassoc_connective
number
optional_info
rational
real
single_quoted
source
system_constant
system_functor
tptp_input
unary_connective
upper_word
useful_info
variable
whitespace