[−][src]Module tptp::meta
top-level inputs, formula annotations, etc.
Structs
Annotated | helper struct to share common fields - thanks to Michael Färber |
Annotations | |
CnfAnnotated | |
FileName | |
FofAnnotated | |
FormulaSelection | |
GeneralFunction | |
GeneralList | |
GeneralTerms | |
Include | |
NameList | |
OptionalInfo | |
Source | |
UsefulInfo |
Enums
AnnotatedFormula | |
FormulaData | |
FormulaRole | |
GeneralData | |
GeneralTerm | |
TPTPInput |