Method cardMax

gecode/set/view/set.hpp:85–88

    return x->cardMin();
  }
  forceinline unsigned int
  SetView::cardMax(void) const {
    return x->cardMax();
  }
  forceinline int
  SetView::lubMin(void) const {
    return x->lubMin();