Init the variable \a x if necessary
| 483 | }; |
| 484 | /// Init the variable \a x if necessary |
| 485 | IntVar init(IntVar& x) { |
| 486 | if (x.min() == 0) |
| 487 | x = IntVar(*this,1,9); |
| 488 | return x; |
| 489 | } |
| 490 | /// Post a distinct-linear constraint on variables \a x with sum \a c |
| 491 | void distinctlinear(Cache& dc, const IntVarArgs& x, int c, |
| 492 | const SizeOptions& opt) { |