![]() |
OR-Tools
8.2
|
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() | DratProofHandler | inline |