OR-Tools  8.2
ImpliedBoundsProcessor

Detailed Description

Definition at line 56 of file cuts.h.

Classes

struct  BestImpliedBoundInfo
 
struct  SlackInfo
 

Public Member Functions

 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)
 
TopNCutsIbCutPool ()
 

Constructor & Destructor Documentation

◆ ImpliedBoundsProcessor()

ImpliedBoundsProcessor ( absl::Span< const IntegerVariable >  lp_vars_,
IntegerTrail integer_trail,
ImpliedBounds implied_bounds 
)
inline

Definition at line 59 of file cuts.h.

Member Function Documentation

◆ AddLpVariable()

void AddLpVariable ( IntegerVariable  var)
inline

Definition at line 108 of file cuts.h.

◆ ClearCache()

void ClearCache ( ) const
inline

Definition at line 112 of file cuts.h.

◆ DebugSlack()

bool DebugSlack ( IntegerVariable  first_slack,
const LinearConstraint initial_cut,
const LinearConstraint cut,
const std::vector< SlackInfo > &  info 
)

Definition at line 1725 of file cuts.cc.

◆ GetCachedImpliedBoundInfo()

ImpliedBoundsProcessor::BestImpliedBoundInfo GetCachedImpliedBoundInfo ( IntegerVariable  var)

Definition at line 1500 of file cuts.cc.

◆ IbCutPool()

TopNCuts & IbCutPool ( )
inline

Definition at line 125 of file cuts.h.

◆ ProcessUpperBoundedConstraint()

void ProcessUpperBoundedConstraint ( const absl::StrongVector< IntegerVariable, double > &  lp_values,
LinearConstraint cut 
)

Definition at line 1491 of file cuts.cc.

◆ ProcessUpperBoundedConstraintWithSlackCreation()

void ProcessUpperBoundedConstraintWithSlackCreation ( bool  substitute_only_inner_variables,
IntegerVariable  first_slack,
const absl::StrongVector< IntegerVariable, double > &  lp_values,
LinearConstraint cut,
std::vector< SlackInfo > *  slack_infos 
)

Definition at line 1584 of file cuts.cc.

◆ SeparateSomeImpliedBoundCuts()

void SeparateSomeImpliedBoundCuts ( const absl::StrongVector< IntegerVariable, double > &  lp_values)

Definition at line 1575 of file cuts.cc.


The documentation for this class was generated from the following files: