Method has_potential_violation

gecode/int/sequence/view.hpp:139–142

  template<class View, class Val, bool iss>
  forceinline bool
  ViewValSupport<View,Val,iss>::has_potential_violation(void) const {
    return !v.empty();
  }

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