![]() |
OR-Tools
8.2
|
Definition at line 46 of file presolve_util.h.
Public Member Functions | |
void | AddDeduction (int literal_ref, int var, Domain domain) |
std::vector< std::pair< int, Domain > > | ProcessClause (absl::Span< const int > clause) |
void | MarkProcessingAsDoneForNow () |
int | NumDeductions () const |
void AddDeduction | ( | int | literal_ref, |
int | var, | ||
Domain | domain | ||
) |
Definition at line 22 of file presolve_util.cc.
|
inline |
Definition at line 66 of file presolve_util.h.
|
inline |
Definition at line 71 of file presolve_util.h.
std::vector< std::pair< int, Domain > > ProcessClause | ( | absl::Span< const int > | clause | ) |
Definition at line 47 of file presolve_util.cc.