Return time-out for adjust
| 235 | } |
| 236 | /// Return time-out for adjust |
| 237 | unsigned int time_adjust(void) const { |
| 238 | return _time_adjust.value(); |
| 239 | } |
| 240 | /// Return time-out for solve |
| 241 | unsigned int time_solve(void) const { |
| 242 | return _time_solve.value(); |