Method minus_v

gecode/int/view/int.hpp:205–208

  }
  template<class I>
  forceinline ModEvent
  IntView::minus_v(Space& home, I& i, bool depend) {
    return x->minus_v(home,i,depend);
  }