Method lct

gecode/int/unary/task.hpp:67–70

    return _s.max();
  }
  forceinline int
  ManFixPTask::lct(void) const {
    return _s.max()+_p;
  }
  forceinline int
  ManFixPTask::pmin(void) const {
    return _p;