![]() |
OR-Tools
8.2
|
This is the complete list of members for UpperBoundedLinearConstraint, including all inherited members.
activity() const | UpperBoundedLinearConstraint | inline |
AddToConflict(MutableUpperBoundedLinearConstraint *conflict) | UpperBoundedLinearConstraint | |
already_propagated_end() const | UpperBoundedLinearConstraint | inline |
ComputeCancelation(const Trail &trail, int trail_index, const MutableUpperBoundedLinearConstraint &conflict) | UpperBoundedLinearConstraint | |
FillReason(const Trail &trail, int source_trail_index, BooleanVariable propagated_variable, std::vector< Literal > *reason) | UpperBoundedLinearConstraint | |
hash() const | UpperBoundedLinearConstraint | inline |
HasIdenticalTerms(const std::vector< LiteralWithCoeff > &cst) | UpperBoundedLinearConstraint | |
InitializeRhs(Coefficient rhs, int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper) | UpperBoundedLinearConstraint | |
is_learned() const | UpperBoundedLinearConstraint | inline |
is_marked_for_deletion() const | UpperBoundedLinearConstraint | inline |
is_used_as_a_reason() const | UpperBoundedLinearConstraint | inline |
MarkForDeletion() | UpperBoundedLinearConstraint | inline |
Propagate(int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper) | UpperBoundedLinearConstraint | |
ResolvePBConflict(const Trail &trail, BooleanVariable var, MutableUpperBoundedLinearConstraint *conflict, Coefficient *conflict_slack) | UpperBoundedLinearConstraint | |
Rhs() const | UpperBoundedLinearConstraint | inline |
set_activity(double activity) | UpperBoundedLinearConstraint | inline |
set_is_learned(bool is_learned) | UpperBoundedLinearConstraint | inline |
Untrail(Coefficient *threshold, int trail_index) | UpperBoundedLinearConstraint | |
UpperBoundedLinearConstraint(const std::vector< LiteralWithCoeff > &cst) | UpperBoundedLinearConstraint | explicit |