Method operator !=

gecode/kernel/core.hpp:5067–5070

    return id() == g.id();
  }
  forceinline bool
  PropagatorGroup::operator !=(PropagatorGroup g) const {
    return id() != g.id();
  }

  forceinline PropagatorGroup&
  PropagatorGroup::move(Space& , Propagator& p) {