OR-Tools  8.2
DratProofHandler Member List

This is the complete list of members for DratProofHandler, including all inherited members.

AddClause(absl::Span< const Literal > clause)DratProofHandler
AddOneVariable()DratProofHandler
AddProblemClause(absl::Span< const Literal > clause)DratProofHandler
ApplyMapping(const absl::StrongVector< BooleanVariable, BooleanVariable > &mapping)DratProofHandler
Check(double max_time_in_seconds)DratProofHandler
DeleteClause(absl::Span< const Literal > clause)DratProofHandler
DratProofHandler()DratProofHandler
DratProofHandler(bool in_binary_format, File *output, bool check=false)DratProofHandler
SetNumVariables(int num_variables)DratProofHandler
~DratProofHandler()DratProofHandlerinline