Method AllInterval

examples/all-interval.cpp:70–89

Actual model

public:
  /// Actual model
  AllInterval(const SizeOptions& opt) :
    Script(opt),
    x(*this, opt.size(), 0, opt.size()-1),
    d(*this, opt.size()-1, 1, opt.size()-1) {
    const int n = x.size();

    // Set up variables for distance
    for (int i=0; i<n-1; i++)
      rel(*this, d[i] == abs(x[i+1]-x[i]), opt.ipl());

    distinct(*this, x, opt.ipl());
    distinct(*this, d, opt.ipl());

    // Break mirror symmetry
    rel(*this, x[0], IRT_LE, x[1]);
    // Break symmetry of dual solution
    rel(*this, d[0], IRT_GR, d[n-2]);

    branch(*this, x, INT_VAR_SIZE_MIN(), INT_VAL_SPLIT_MIN());
  }
  /// Constructor for cloning \a e
  AllInterval(AllInterval& s)
    : Script(s) {