Module tptp::common

common syntax across all dialects

Structs

AtomicDefinedWord	atomic_defined_word
AtomicSystemWord	atomic_system_word
Constant	constant
DefinedConstant	defined_constant
DefinedFunctor	defined_functor
DefinedInfixPred	defined_infix_pred
DistinctObject	distinct_object
DollarDollarWord	dollar_dollar_word
DollarWord	dollar_word
Functor	functor
InfixEquality	infix_equality
InfixInequality	infix_inequality
Integer	integer
LowerWord	lower_word
Rational	rational
Real	real
SingleQuoted	single_quoted
SystemConstant	system_constant
SystemFunctor	system_functor
UnaryConnective	unary_connective
UpperWord	upper_word
Variable	variable

Enums

AssocConnective	assoc_connective
AtomicWord	atomic_word
DefinedTerm	defined_term
Name	name
NonassocConnective	nonassoc_connective
Number	number

Functions

alphanumeric	one or more letters or digits
comment_block	/* a comment block */
comment_line	% a single-line comment
ignored	zero or more whitespace, comment_line, or comment_block
lower_alpha1	one or more lowercase letters
single_ignored	whitespace, comment_line, or comment_block
upper_alpha1	one or more uppercase letters
whitespace	one or more spaces, tabs, carriage returns or line feeds