Definition at line 46 of file var_domination.h.
◆ VarDomination()
◆ ActivityShouldNotChange()
void ActivityShouldNotChange |
( |
absl::Span< const int > |
refs, |
|
|
absl::Span< const int64 > |
coeffs |
|
) |
| |
◆ ActivityShouldNotDecrease()
void ActivityShouldNotDecrease |
( |
absl::Span< const int > |
enforcements, |
|
|
absl::Span< const int > |
refs, |
|
|
absl::Span< const int64 > |
coeffs |
|
) |
| |
◆ ActivityShouldNotIncrease()
void ActivityShouldNotIncrease |
( |
absl::Span< const int > |
enforcements, |
|
|
absl::Span< const int > |
refs, |
|
|
absl::Span< const int64 > |
coeffs |
|
) |
| |
◆ CanFreelyDecrease() [1/2]
bool CanFreelyDecrease |
( |
int |
ref | ) |
const |
◆ CanFreelyDecrease() [2/2]
bool CanFreelyDecrease |
( |
IntegerVariable |
var | ) |
const |
◆ CanOnlyDominateEachOther()
void CanOnlyDominateEachOther |
( |
absl::Span< const int > |
refs | ) |
|
◆ DominatingVariables() [1/2]
absl::Span< const IntegerVariable > DominatingVariables |
( |
int |
ref | ) |
const |
◆ DominatingVariables() [2/2]
absl::Span< const IntegerVariable > DominatingVariables |
( |
IntegerVariable |
var | ) |
const |
◆ DominationDebugString()
std::string DominationDebugString |
( |
IntegerVariable |
var | ) |
const |
◆ EndFirstPhase()
◆ EndSecondPhase()
◆ IntegerVariableToRef()
static int IntegerVariableToRef |
( |
IntegerVariable |
var | ) |
|
|
inlinestatic |
◆ RefToIntegerVariable()
static IntegerVariable RefToIntegerVariable |
( |
int |
ref | ) |
|
|
inlinestatic |
◆ Reset()
void Reset |
( |
int |
num_variables | ) |
|
The documentation for this class was generated from the following files: