Method next_potential_violation

gecode/int/sequence/view.hpp:145–148

  template<class View, class Val, bool iss>
  forceinline int
  ViewValSupport<View,Val,iss>::next_potential_violation(void) {
    return static_cast<int>(v.get());
  }

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