Method propagatorgroup

gecode/kernel/core.hpp:3339–3342

    return p;
  }
  forceinline PropagatorGroup
  Home::propagatorgroup(void) const {
    return pg;
  }
  forceinline BrancherGroup
  Home::branchergroup(void) const {
    return bg;