Method update

gecode/int/sequence/violations.hpp:75–79

  }

  forceinline void
  Violations::update(Space& home, Violations& v) {
    assert(v.empty());
    init(home,v.size());
  }

  forceinline void
  Violations::add(unsigned int i) {