Method retired

gecode/int/sequence/view.hpp:158–161

  template<class View, class Val, bool iss>
  forceinline bool
  ViewValSupport<View,Val,iss>::retired(void) const {
    return nullptr == y;
  }

  template<class View, class Val, bool iss>
  forceinline void