Method Donald

examples/donald.cpp:61–95

Actual model

  };
  /// Actual model
  Donald(const Options& opt)
    : Script(opt), le(*this,nl,0,9) {
    IntVar
      d(le[0]), o(le[1]), n(le[2]), a(le[3]), l(le[4]),
      g(le[5]), e(le[6]), r(le[7]), b(le[8]), t(le[9]);
    rel(*this, d, IRT_NQ, 0);
    rel(*this, g, IRT_NQ, 0);
    rel(*this, r, IRT_NQ, 0);

    distinct(*this, le, opt.ipl());

    switch (opt.model()) {
    case MODEL_SINGLE:
      rel(*this,    100000*d+10000*o+1000*n+100*a+10*l+d
                  + 100000*g+10000*e+1000*r+100*a+10*l+d
                 == 100000*r+10000*o+1000*b+100*e+10*r+t,
           opt.ipl());
      break;
    case MODEL_CARRY:
      {
        IntVar c0(*this,0,1), c1(*this,0,1), c2(*this,0,1),
          c3(*this,0,1), c4(*this,0,1);
        rel(*this,    d+d == t+10*c0, opt.ipl());
        rel(*this, c0+l+l == r+10*c1, opt.ipl());
        rel(*this, c1+a+a == e+10*c2, opt.ipl());
        rel(*this, c2+n+r == b+10*c3, opt.ipl());
        rel(*this, c3+o+e == o+10*c4, opt.ipl());
        rel(*this, c4+d+g == r,       opt.ipl());
      }
      break;
    default: GECODE_NEVER;
    }

    branch(*this, le, INT_VAR_SIZE_MIN(), INT_VAL_MAX());
  }
  /// Constructor for cloning \a s
  Donald(Donald& s) : Script(s) {
    le.update(*this, s.le);