Method glb

gecode/set/trace/trace-view.hpp:69–72

    RangeList::copy(home,_lub,lubi);
  }
  forceinline RangeList*
  SetTraceView::glb(void) const {
    return _glb;
  }
  forceinline RangeList*
  SetTraceView::lub(void) const {
    return _lub;