Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::DualBoundStrengthening Member List

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

CanFreelyDecreaseUntil(int ref) constoperations_research::sat::DualBoundStrengtheninginline
CannotDecrease(absl::Span< const int > refs, int ct_index=-1)operations_research::sat::DualBoundStrengthening
CannotIncrease(absl::Span< const int > refs, int ct_index=-1)operations_research::sat::DualBoundStrengthening
CannotMove(absl::Span< const int > refs, int ct_index=-1)operations_research::sat::DualBoundStrengthening
NumDeletedConstraints() constoperations_research::sat::DualBoundStrengtheninginline
ProcessLinearConstraint(bool is_objective, const PresolveContext &context, const LinearProto &linear, int64_t min_activity, int64_t max_activity, int ct_index=-1)operations_research::sat::DualBoundStrengthening
Reset(int num_variables)operations_research::sat::DualBoundStrengtheninginline
Strengthen(PresolveContext *context)operations_research::sat::DualBoundStrengthening