Searched refs:PositiveVariable (Results 1 – 12 of 12) sorted by relevance
343 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()
103 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()
102 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()
240 if (PositiveVariable(c) == PositiveVariable(var)) continue; in EndFirstPhase()261 if (PositiveVariable(c) == PositiveVariable(var)) continue; in EndFirstPhase()
134 if (i > 0 && PositiveVariable(var) != prev_var) { in ProbeOneVariableInternal()157 prev_var = PositiveVariable(var); in ProbeOneVariableInternal()
194 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()
68 GetOrCreateMirrorVariable(PositiveVariable(var)); in AddLinearConstraint()
1535 if (!lp_vars_.contains(PositiveVariable(entry.literal_view))) {1593 if (!lp_vars_.contains(PositiveVariable(var))) continue;
143 inline IntegerVariable PositiveVariable(IntegerVariable i) { in PositiveVariable() function
143 *var = PositiveVariable(affine_var); in CollectAffineExpressionWithSingleVariable()
85 if (!VariableIsPositive(var)) var = PositiveVariable(var); in VariableIsFullyEncoded()
779 const IntegerVariable positive_var = PositiveVariable(var);