Module tptp::top[−][src]

Expand description

top-level inputs, formula annotations, etc.

Structs

Annotated	helper struct to share common fields - thanks to Michael Färber
Annotations	`annotations`
CnfAnnotated	`cnf_annotated`
FileName	`file_name`
FofAnnotated	`fof_annotated`
FormulaRole	`formula_role`
FormulaSelection	`formula_selection`
GeneralFunction	`general_function`
GeneralList	`general_list`
GeneralTerms	`general_terms`
Include	`include`
NameList	`name_list`
OptionalInfo	`optional_info`
Source	`source`
UsefulInfo	`useful_info`