OR-Tools  8.2
DualBoundStrengthening

Detailed Description

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
 

Member Function Documentation

◆ CanFreelyDecreaseUntil()

int64 CanFreelyDecreaseUntil ( int  ref) const
inline

Definition at line 243 of file var_domination.h.

◆ CannotDecrease()

void CannotDecrease ( absl::Span< const int >  refs,
int  ct_index = -1 
)

Definition at line 518 of file var_domination.cc.

◆ CannotIncrease()

void CannotIncrease ( absl::Span< const int >  refs,
int  ct_index = -1 
)

Definition at line 528 of file var_domination.cc.

◆ CannotMove()

void CannotMove ( absl::Span< const int >  refs)

Definition at line 538 of file var_domination.cc.

◆ ProcessLinearConstraint()

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.

◆ Reset()

void Reset ( int  num_variables)
inline

Definition at line 214 of file var_domination.h.

◆ Strengthen()

bool Strengthen ( PresolveContext context)

Definition at line 607 of file var_domination.cc.


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