C++ Reference: class File

Note: This documentation is automatically generated.

Method
AddClause	Return type: void Arguments: absl::Span<const Literal> clause Writes a new clause to the DRAT output. Note that the RAT property is only checked on the first literal.
DeleteClause	Return type: void Arguments: absl::Span<const Literal> clause Writes a "deletion" information about a clause that has been added before to the DRAT output. Note that it is also possible to delete a clause from the problem.
DratWriter	Arguments: bool in_binary_format, File* output
~DratWriter