Method DistinctLinear

examples/kakuro.cpp:378–382

The actual problem

  public:
    /// The actual problem
    DistinctLinear(int n, int s) : x(*this,n,1,9) {
      distinct(*this, x);
      linear(*this, x, IRT_EQ, s);
      branch(*this, x, INT_VAR_NONE(), INT_VAL_SPLIT_MIN());
    }
    /// Constructor for cloning \a s
    DistinctLinear(DistinctLinear& s) : Space(s) {
      x.update(*this, s.x);