Method ect

gecode/int/unary/task.hpp:59–62

    return _s.min();
  }
  forceinline int
  ManFixPTask::ect(void) const {
    return _s.min()+_p;
  }
  forceinline int
  ManFixPTask::lst(void) const {
    return _s.max();