OR-Tools  8.2
VarDomination

Detailed Description

Definition at line 46 of file var_domination.h.

Public Member Functions

 VarDomination ()
 
void Reset (int num_variables)
 
void CanOnlyDominateEachOther (absl::Span< const int > refs)
 
void ActivityShouldNotChange (absl::Span< const int > refs, absl::Span< const int64 > coeffs)
 
void ActivityShouldNotDecrease (absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64 > coeffs)
 
void ActivityShouldNotIncrease (absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64 > coeffs)
 
void EndFirstPhase ()
 
void EndSecondPhase ()
 
bool CanFreelyDecrease (int ref) const
 
bool CanFreelyDecrease (IntegerVariable var) const
 
absl::Span< const IntegerVariable > DominatingVariables (int ref) const
 
absl::Span< const IntegerVariable > DominatingVariables (IntegerVariable var) const
 
std::string DominationDebugString (IntegerVariable var) const
 

Static Public Member Functions

static IntegerVariable RefToIntegerVariable (int ref)
 
static int IntegerVariableToRef (IntegerVariable var)
 

Constructor & Destructor Documentation

◆ VarDomination()

VarDomination ( )
inline

Definition at line 48 of file var_domination.h.

Member Function Documentation

◆ ActivityShouldNotChange()

void ActivityShouldNotChange ( absl::Span< const int >  refs,
absl::Span< const int64 coeffs 
)

Definition at line 61 of file var_domination.cc.

◆ ActivityShouldNotDecrease()

void ActivityShouldNotDecrease ( absl::Span< const int >  enforcements,
absl::Span< const int >  refs,
absl::Span< const int64 coeffs 
)

Definition at line 113 of file var_domination.cc.

◆ ActivityShouldNotIncrease()

void ActivityShouldNotIncrease ( absl::Span< const int >  enforcements,
absl::Span< const int >  refs,
absl::Span< const int64 coeffs 
)

Definition at line 120 of file var_domination.cc.

◆ CanFreelyDecrease() [1/2]

bool CanFreelyDecrease ( int  ref) const

Definition at line 477 of file var_domination.cc.

◆ CanFreelyDecrease() [2/2]

bool CanFreelyDecrease ( IntegerVariable  var) const

Definition at line 481 of file var_domination.cc.

◆ CanOnlyDominateEachOther()

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

Definition at line 51 of file var_domination.cc.

◆ DominatingVariables() [1/2]

absl::Span< const IntegerVariable > DominatingVariables ( int  ref) const

Definition at line 493 of file var_domination.cc.

◆ DominatingVariables() [2/2]

absl::Span< const IntegerVariable > DominatingVariables ( IntegerVariable  var) const

Definition at line 498 of file var_domination.cc.

◆ DominationDebugString()

std::string DominationDebugString ( IntegerVariable  var) const

Definition at line 505 of file var_domination.cc.

◆ EndFirstPhase()

void EndFirstPhase ( )

Definition at line 190 of file var_domination.cc.

◆ EndSecondPhase()

void EndSecondPhase ( )

Definition at line 317 of file var_domination.cc.

◆ IntegerVariableToRef()

static int IntegerVariableToRef ( IntegerVariable  var)
inlinestatic

Definition at line 57 of file var_domination.h.

◆ RefToIntegerVariable()

static IntegerVariable RefToIntegerVariable ( int  ref)
inlinestatic

Definition at line 53 of file var_domination.h.

◆ Reset()

void Reset ( int  num_variables)

Definition at line 22 of file var_domination.cc.


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