Method cardMin_full

gecode/set/var-imp/set.cpp:45–54

* "Standard" tell operations * */

   *
   */
  ModEvent
  SetVarImp::cardMin_full(Space& home) {
    ModEvent me = ME_SET_CARD;
    if (cardMin() == lub.size()) {
      glb.become(home, lub);
      me = ME_SET_VAL;
    }
    SetDelta d;
    return notify(home, me, d);
  }

  ModEvent
  SetVarImp::cardMax_full(Space& home) {