![]() |
OR-Tools
8.2
|
Definition at line 210 of file var_domination.h.
Public Member Functions | |
void | Reset (int num_variables) |
void | CannotDecrease (absl::Span< const int > refs, int ct_index=-1) |
void | CannotIncrease (absl::Span< const int > refs, int ct_index=-1) |
void | CannotMove (absl::Span< const int > refs) |
template<typename LinearProto > | |
void | ProcessLinearConstraint (bool is_objective, const PresolveContext &context, const LinearProto &linear, int64 min_activity, int64 max_activity) |
bool | Strengthen (PresolveContext *context) |
int64 | CanFreelyDecreaseUntil (int ref) const |
|
inline |
Definition at line 243 of file var_domination.h.
void CannotDecrease | ( | absl::Span< const int > | refs, |
int | ct_index = -1 |
||
) |
Definition at line 518 of file var_domination.cc.
void CannotIncrease | ( | absl::Span< const int > | refs, |
int | ct_index = -1 |
||
) |
Definition at line 528 of file var_domination.cc.
void CannotMove | ( | absl::Span< const int > | refs | ) |
Definition at line 538 of file var_domination.cc.
void ProcessLinearConstraint | ( | bool | is_objective, |
const PresolveContext & | context, | ||
const LinearProto & | linear, | ||
int64 | min_activity, | ||
int64 | max_activity | ||
) |
Definition at line 549 of file var_domination.cc.
|
inline |
Definition at line 214 of file var_domination.h.
bool Strengthen | ( | PresolveContext * | context | ) |
Definition at line 607 of file var_domination.cc.