Method empty

gecode/int/sequence/violations.hpp:69–73

  }

  forceinline bool
  Violations::empty(void) const {
    fst = next(fst);
    return fst >= size();
  }

  forceinline void
  Violations::update(Space& home, Violations& v) {