Method Hamming

examples/hamming.cpp:92–111

Actual model

public:
  /// Actual model
  Hamming(const HammingOptions& opt) :
    Script(opt),
    x(*this,opt.size(),IntSet::empty,1,opt.bits()) {

    if (opt.trace() != 0)
      trace(*this, x, opt.trace());

    SetVarArgs cx(x.size());

    for (int i=x.size(); i--;)
      cx[i] = expr(*this, -x[i]);

    for (int i=0; i<x.size(); i++)
      for (int j=i+1; j<x.size(); j++)
        rel(*this,
            cardinality(x[j] & cx[i]) +
            cardinality(x[i] & cx[j]) >= opt.distance());

    branch(*this, x, SET_VAR_NONE(), SET_VAL_MIN_INC());
  }

  /// Print solution
  virtual void