OR-Tools  9.6
Classes | Public Member Functions | List of all members
ImpliedBoundsProcessor

Detailed Description

Definition at line 145 of file cuts.h.

Classes

struct  BestImpliedBoundInfo
 

Public Member Functions

 ImpliedBoundsProcessor (absl::Span< const IntegerVariable > lp_vars_, IntegerTrail *integer_trail, ImpliedBounds *implied_bounds)
 
void RecomputeCacheAndSeparateSomeImpliedBoundCuts (const absl::StrongVector< IntegerVariable, double > &lp_values)
 
bool TryToExpandWithLowerImpliedbound (IntegerValue factor_t, int i, bool complement, CutData *cut, CutDataBuilder *builder)
 
void AddLpVariable (IntegerVariable var)
 
BestImpliedBoundInfo GetCachedImpliedBoundInfo (IntegerVariable var) const
 
TopNCuts & IbCutPool ()
 

Constructor & Destructor Documentation

◆ ImpliedBoundsProcessor()

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

Definition at line 148 of file cuts.h.

Member Function Documentation

◆ AddLpVariable()

void AddLpVariable ( IntegerVariable  var)
inline

Definition at line 169 of file cuts.h.

◆ GetCachedImpliedBoundInfo()

ImpliedBoundsProcessor::BestImpliedBoundInfo GetCachedImpliedBoundInfo ( IntegerVariable  var) const

Definition at line 1455 of file cuts.cc.

◆ IbCutPool()

TopNCuts& IbCutPool ( )
inline

Definition at line 197 of file cuts.h.

◆ RecomputeCacheAndSeparateSomeImpliedBoundCuts()

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

Definition at line 1535 of file cuts.cc.

◆ TryToExpandWithLowerImpliedbound()

bool TryToExpandWithLowerImpliedbound ( IntegerValue  factor_t,
int  i,
bool  complement,
CutData *  cut,
CutDataBuilder *  builder 
)

Definition at line 1546 of file cuts.cc.

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