Method operator ()

gecode/kernel/core.hpp:3311–3314

    return s;
  }
  forceinline Home
  Home::operator ()(Propagator& p) {
    return Home(s,&p);
  }
  forceinline Home
  Home::operator ()(PropagatorGroup pg) {
    return Home(s,nullptr,pg,BrancherGroup::def);