Method propagator

gecode/kernel/core.hpp:3335–3338

    return Home(*this,nullptr,PropagatorGroup::def,bg);
  }
  forceinline Propagator*
  Home::propagator(void) const {
    return p;
  }
  forceinline PropagatorGroup
  Home::propagatorgroup(void) const {
    return pg;