Method glbSize

gecode/set/view/singleton.hpp:93–96

  }

  forceinline unsigned int
  SingletonView::glbSize(void) const {
    return x.assigned() ? 1U : 0U;
  }

  forceinline unsigned int
  SingletonView::lubSize(void) const { return x.size(); }