OR-Tools  8.2
UpperBoundedLinearConstraint Member List

This is the complete list of members for UpperBoundedLinearConstraint, including all inherited members.

activity() constUpperBoundedLinearConstraintinline
AddToConflict(MutableUpperBoundedLinearConstraint *conflict)UpperBoundedLinearConstraint
already_propagated_end() constUpperBoundedLinearConstraintinline
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() constUpperBoundedLinearConstraintinline
HasIdenticalTerms(const std::vector< LiteralWithCoeff > &cst)UpperBoundedLinearConstraint
InitializeRhs(Coefficient rhs, int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper)UpperBoundedLinearConstraint
is_learned() constUpperBoundedLinearConstraintinline
is_marked_for_deletion() constUpperBoundedLinearConstraintinline
is_used_as_a_reason() constUpperBoundedLinearConstraintinline
MarkForDeletion()UpperBoundedLinearConstraintinline
Propagate(int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper)UpperBoundedLinearConstraint
ResolvePBConflict(const Trail &trail, BooleanVariable var, MutableUpperBoundedLinearConstraint *conflict, Coefficient *conflict_slack)UpperBoundedLinearConstraint
Rhs() constUpperBoundedLinearConstraintinline
set_activity(double activity)UpperBoundedLinearConstraintinline
set_is_learned(bool is_learned)UpperBoundedLinearConstraintinline
Untrail(Coefficient *threshold, int trail_index)UpperBoundedLinearConstraint
UpperBoundedLinearConstraint(const std::vector< LiteralWithCoeff > &cst)UpperBoundedLinearConstraintexplicit