Method push

gecode/int/rel/lq-le.hpp:180–186

  }
  template<class View, int o>
  forceinline void
  NaryLqLe<View,o>::push(Space& home, int p) {
    // Try to avoid entering same position twice
    if ((pos != nullptr) && (pos->p == p))
      return;
    pos = new (home) Pos(p,pos);
  }
  template<class View, int o>
  forceinline int
  NaryLqLe<View,o>::pop(Space& home) {