Home
last modified time | relevance | path

Searched refs:tmp_var_lbs_ (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dlinear_programming_constraint.cc759 tmp_var_lbs_.clear(); in AddCutFromConstraints()
767 tmp_var_lbs_.push_back(info.lb); in AddCutFromConstraints()
771 tmp_var_lbs_.push_back(integer_trail_->LevelZeroLowerBound(var)); in AddCutFromConstraints()
798 tmp_var_lbs_.push_back(IntegerValue(0)); in AddCutFromConstraints()
802 tmp_var_lbs_.push_back(-diff); in AddCutFromConstraints()
824 tmp_var_lbs_, tmp_var_ubs_, in AddCutFromConstraints()
1073 tmp_var_lbs_.clear(); in AddObjectiveCut()
1085 tmp_var_lbs_.push_back(integer_trail_->LevelZeroLowerBound(var)); in AddObjectiveCut()
1345 tmp_var_lbs_.clear(); in AddZeroHalfCuts()
1349 tmp_var_lbs_.push_back(integer_trail_->LevelZeroLowerBound(var)); in AddZeroHalfCuts()
[all …]
H A Dlinear_programming_constraint.h436 std::vector<IntegerValue> tmp_var_lbs_; variable