Method MagicSequence

examples/magic-sequence.cpp:72–86

The actual model

  };
  /// The actual model
  MagicSequence(const SizeOptions& opt)
    : Script(opt), n(opt.size()), s(*this,n,0,n-1) {
    switch (opt.propagation()) {
    case PROP_COUNT:
      for (int i=n; i--; )
        count(*this, s, i, IRT_EQ, s[i]);
      linear(*this, s, IRT_EQ, n);
      break;
    case PROP_GCC:
      count(*this, s, s, opt.ipl());
      break;
    }
    linear(*this, IntArgs::create(n,-1,1), s, IRT_EQ, 0);
    branch(*this, s, INT_VAR_NONE(), INT_VAL_MAX());
  }

  /// Constructor for cloning \a e
  MagicSequence(MagicSequence& e) : Script(e), n(e.n) {