Method le

gecode/int/view/int.hpp:129–132

  }

  forceinline ModEvent
  IntView::le(Space& home, int n) {
    return x->lq(home,n-1);
  }
  forceinline ModEvent
  IntView::le(Space& home, long long int n) {
    return x->lq(home,n-1);