Function overload

gecode/int/unary/overload.hpp:38–52

  // Overload checking for mandatory tasks
  template<class ManTask>
  ExecStatus
  overload(TaskArray<ManTask>& t) {
    TaskViewArray<typename TaskTraits<ManTask>::TaskViewFwd> f(t);
    sort<typename TaskTraits<ManTask>::TaskViewFwd,STO_LCT,true>(f);

    Region r;
    OmegaTree<typename TaskTraits<ManTask>::TaskViewFwd> o(r,f);

    for (int i=0; i<f.size(); i++) {
      o.insert(i);
      if (o.ect() > f[i].lct())
        return ES_FAILED;
    }
    return ES_OK;
  }

  // Overload checking for optional tasks
  template<class OptTask, class PL>