OR-Tools  8.2
DratChecker Member List

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

AddInferedClause(absl::Span< const Literal > clause)DratChecker
AddProblemClause(absl::Span< const Literal > clause)DratChecker
Check(double max_time_in_seconds)DratChecker
DeleteClause(absl::Span< const Literal > clause)DratChecker
DratChecker()DratChecker
GetOptimizedProof() constDratChecker
GetUnsatSubProblem() constDratChecker
INVALID enum valueDratChecker
num_variables() constDratCheckerinline
Status enum nameDratChecker
UNKNOWN enum valueDratChecker
VALID enum valueDratChecker
~DratChecker()DratCheckerinline