[−][src]Module tptp::parsers

nom parsers corresponding to TPTP BNF

Functions

alphanumeric
annotations
assoc_connective
atomic_word
cnf_annotated
cnf_formula
comment_block
comment_line
dag_source
disjunction
external_source
fof_annotated
fof_arguments
fof_atomic_formula
fof_defined_atomic_formula
fof_formula
fof_function_term
fof_logic_formula
fof_plain_term
fof_quantified_formula
fof_term
fof_unary_formula
fof_unit_formula
fof_unitary_formula
formula_role
ignored
include
include_path
infix_equality
integer
is_alphanumeric
is_lower_alpha
is_sq_char
is_upper_alpha
is_visible
literal
lower_alpha
lower_word
name
name_list
nonassoc_connective
single_quoted
source
sources
tptp_input
tptp_input_or_eof
unknown_source
upper_alpha
upper_word
variable
whitespace

Type Definitions