Module tptp::ast [−][src]
Syntax trees.
Structs
Bound |
A variable name. |
Enums
FofFormula |
A FOF formula, simplified where possible.
For example, |
FofTerm |
A FOF term. |
FormulaRole |
A TPTP formula role, such as |
Name |
One of various types of TPTP identifiers. |
Statement |
A top-level TPTP statement, current |