Method est

gecode/int/unary/task.hpp:55–58

  }

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