Method operator ==

gecode/kernel/core.hpp:5063–5066

  }

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