Module tptp::ast

Syntax trees.

Structs

Bound

A variable name.

Enums

FofFormula	A FOF formula, simplified where possible. For example, p <~> q becomes ~(p <=> q).
FofTerm	A FOF term.
FormulaRole	A TPTP formula role, such as axiom or negated_conjecture
Name	One of various types of TPTP identifiers.
Statement	A top-level TPTP statement, current include or fof.