Method contains

gecode/set/view/set.hpp:73–76

    return x->lubSize() - x->glbSize();
  }
  forceinline bool
  SetView::contains(int i) const {
    return x->knownIn(i);
  }
  forceinline bool
  SetView::notContains(int i) const {
    return x->knownOut(i);