Method propagate

gecode/int/distinct/dom-ctrl.hpp:67–73

  template<class View>
  ExecStatus
  DomCtrl<View>::propagate(Space& home, bool& assigned) {
    assigned = false;
    if (!g.mark())
      return ES_OK;
    return g.prune(home,assigned);
  }

}}}