Definition at line 56 of file cuts.h.
|
| ImpliedBoundsProcessor (absl::Span< const IntegerVariable > lp_vars_, IntegerTrail *integer_trail, ImpliedBounds *implied_bounds) |
|
void | ProcessUpperBoundedConstraint (const absl::StrongVector< IntegerVariable, double > &lp_values, LinearConstraint *cut) |
|
void | ProcessUpperBoundedConstraintWithSlackCreation (bool substitute_only_inner_variables, IntegerVariable first_slack, const absl::StrongVector< IntegerVariable, double > &lp_values, LinearConstraint *cut, std::vector< SlackInfo > *slack_infos) |
|
void | SeparateSomeImpliedBoundCuts (const absl::StrongVector< IntegerVariable, double > &lp_values) |
|
bool | DebugSlack (IntegerVariable first_slack, const LinearConstraint &initial_cut, const LinearConstraint &cut, const std::vector< SlackInfo > &info) |
|
void | AddLpVariable (IntegerVariable var) |
|
void | ClearCache () const |
|
BestImpliedBoundInfo | GetCachedImpliedBoundInfo (IntegerVariable var) |
|
TopNCuts & | IbCutPool () |
|