Searched refs:previous_var (Results 1 – 5 of 5) sorted by relevance
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | linear_constraint.h | 277 IntegerVariable previous_var = kNoIntegerVariable; in CleanTermsAndFillConstraint() local
280 if (previous_var == entry.first) { in CleanTermsAndFillConstraint()
282 } else if (previous_var == NegationOf(entry.first)) { in CleanTermsAndFillConstraint()
286 output->vars.push_back(previous_var); in CleanTermsAndFillConstraint()
289 previous_var = entry.first; in CleanTermsAndFillConstraint()
294 output->vars.push_back(previous_var); in CleanTermsAndFillConstraint()
|
| H A D | sat_solver.cc | 1983 const BooleanVariable previous_var = (*trail_)[i].Variable(); in ComputePBConflict() local
1984 if (conflict->GetCoefficient(previous_var) > 0 && in ComputePBConflict()
1986 conflict->GetLiteral(previous_var))) { in ComputePBConflict()
|
| /dports/math/p5-Math-Series/Math-Series-1.01/t/ |
| H A D | 01basic.t | 13 previous_var => 'x',
29 previous_var => 'x',
|
| /dports/math/p5-Math-Series/Math-Series-1.01/lib/Math/ |
| H A D | Series.pm | 189 my $variable = $args{previous_var};
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_codegen_gcc/src/ |
| H A D | builder.rs | 108 let previous_var = func.new_local(None, previous_value.get_type(), "previous_value"); in atomic_extremum() localVariable
110 self.llbb().add_assignment(None, previous_var, previous_value); in atomic_extremum()
111 self.llbb().add_assignment(None, return_value, previous_var.to_rvalue()); in atomic_extremum()
128 …let cond1 = self.context.new_comparison(None, comparison_operator, previous_var.to_rvalue(), self.… in atomic_extremum()
129 … let compare_exchange = self.compare_exchange(dst, previous_var, src, order, load_ordering, false); in atomic_extremum()
|