Method cardinality

test/set.cpp:222–229

  }

  void
  SetTestSpace::cardinality(int i, int cmin, int cmax) {
    if (opt.log) {
      olog << ind(4) << cmin << " <= #(x[" << i << "]) <= " << cmax
           << std::endl;
    }
    Gecode::cardinality(*this, x[i], cmin, cmax);
  }

  void
  SetTestSpace::rel(int i, Gecode::IntRelType irt, int n) {