Method pmin

gecode/int/unary/task.hpp:71–74

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