operations_research::sat::VarDomination Member List

This is the complete list of members for operations_research::sat::VarDomination, including all inherited members.

ActivityShouldNotChange(absl::Span< const int > refs, absl::Span< const int64_t > coeffs)	operations_research::sat::VarDomination
ActivityShouldNotDecrease(absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64_t > coeffs)	operations_research::sat::VarDomination
ActivityShouldNotIncrease(absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64_t > coeffs)	operations_research::sat::VarDomination
CanFreelyDecrease(int ref) const	operations_research::sat::VarDomination
CanFreelyDecrease(IntegerVariable var) const	operations_research::sat::VarDomination
CanOnlyDominateEachOther(absl::Span< const int > refs)	operations_research::sat::VarDomination
DominatingVariables(int ref) const	operations_research::sat::VarDomination
DominatingVariables(IntegerVariable var) const	operations_research::sat::VarDomination
DominationDebugString(IntegerVariable var) const	operations_research::sat::VarDomination
EndFirstPhase()	operations_research::sat::VarDomination
EndSecondPhase()	operations_research::sat::VarDomination
IntegerVariableToRef(IntegerVariable var)	operations_research::sat::VarDomination	inlinestatic
RefToIntegerVariable(int ref)	operations_research::sat::VarDomination	inlinestatic
Reset(int num_variables)	operations_research::sat::VarDomination
VarDomination()=default	operations_research::sat::VarDomination