Function cardinality

gecode/set/cardinality.cpp:43–51

namespace Gecode {

  void
  cardinality(Home home, SetVar x, unsigned int i, unsigned int j) {
    Set::Limits::check(i, "Set::cardinality");
    Set::Limits::check(j, "Set::cardinality");
    GECODE_POST;
    Set::SetView _x(x);
    GECODE_ME_FAIL(_x.cardMin(home, i));
    GECODE_ME_FAIL(_x.cardMax(home, j));
  }

  void
  cardinality(Home home, const SetVarArgs& x, unsigned int i, unsigned int j) {