Home
last modified time | relevance | path

Searched refs:PositiveVariable (Results 1 – 12 of 12) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dimplied_bounds.cc343 if (PositiveVariable(left.var) == PositiveVariable(right.var) && in DetectLinearEncodingOfProducts()
344 integer_trail->LowerBound(PositiveVariable(left.var)) == 0 && in DetectLinearEncodingOfProducts()
345 integer_trail->UpperBound(PositiveVariable(left.var)) == 1) { in DetectLinearEncodingOfProducts()
350 builder->AddTerm(PositiveVariable(left.var), in DetectLinearEncodingOfProducts()
H A Dinteger_search.cc103 const IntegerVariable positive_var = PositiveVariable(var); in SplitAroundLpValue()
134 const IntegerVariable positive_var = PositiveVariable(var); in SplitUsingBestSolutionValueInRepository()
273 return SplitAroundLpValue(PositiveVariable(var), model); in IntegerValueSelectionHeuristic()
485 return SplitAroundLpValue(PositiveVariable(var), model); in RandomizeOnRestartHeuristic()
599 const IntegerVariable positive_var = PositiveVariable(integer_var); in FollowHint()
H A Dinteger_expr.cc102 if (PositiveVariable(var) == PositiveVariable(integer_literal.var)) { in ConditionalLb()
226 if (PositiveVariable(var) == PositiveVariable(i_lit.var)) { in Propagate()
540 if (PositiveVariable(var) == PositiveVariable(i_lit.var)) { in PropagateLinearUpperBound()
H A Dvar_domination.cc240 if (PositiveVariable(c) == PositiveVariable(var)) continue; in EndFirstPhase()
261 if (PositiveVariable(c) == PositiveVariable(var)) continue; in EndFirstPhase()
H A Dprobing.cc134 if (i > 0 && PositiveVariable(var) != prev_var) { in ProbeOneVariableInternal()
157 prev_var = PositiveVariable(var); in ProbeOneVariableInternal()
H A Dlinear_programming_constraint.cc194 GetOrCreateMirrorVariable(PositiveVariable(var)); in AddLinearConstraint()
869 gtl::FindOrDie(mirror_lp_variable_, PositiveVariable(var)); in PostprocessAndAddCut()
889 PositiveVariable(term.first)), in PostprocessAndAddCut()
1635 const IntegerVariable positive_var = PositiveVariable(var); in Propagate()
H A Dfeasibility_pump.cc68 GetOrCreateMirrorVariable(PositiveVariable(var)); in AddLinearConstraint()
H A Dcuts.cc1535 if (!lp_vars_.contains(PositiveVariable(entry.literal_view))) {
1593 if (!lp_vars_.contains(PositiveVariable(var))) continue;
H A Dinteger.h143 inline IntegerVariable PositiveVariable(IntegerVariable i) { in PositiveVariable() function
H A Dlinear_relaxation.cc143 *var = PositiveVariable(affine_var); in CollectAffineExpressionWithSingleVariable()
H A Dinteger.cc85 if (!VariableIsPositive(var)) var = PositiveVariable(var); in VariableIsFullyEncoded()
H A Dcp_model_solver.cc779 const IntegerVariable positive_var = PositiveVariable(var);