Method empty

gecode/int/rel/lq-le.hpp:175–178

  template<class View, int o>
  forceinline bool
  NaryLqLe<View,o>::empty(void) const {
    return pos == nullptr;
  }
  template<class View, int o>
  forceinline void
  NaryLqLe<View,o>::push(Space& home, int p) {