| 161 | /// Create cutoff object from options |
| 162 | template<class Options> |
| 163 | inline Search::Cutoff* |
| 164 | createCutoff(const Options& o) { |
| 165 | switch (o.restart()) { |
| 166 | case RM_NONE: |
| 167 | return nullptr; |
| 168 | case RM_CONSTANT: |
| 169 | return Search::Cutoff::constant(o.restart_scale()); |
| 170 | case RM_LINEAR: |
| 171 | return Search::Cutoff::linear(o.restart_scale()); |
| 172 | case RM_LUBY: |
| 173 | return Search::Cutoff::luby(o.restart_scale()); |
| 174 | case RM_GEOMETRIC: |
| 175 | return Search::Cutoff::geometric(o.restart_scale(),o.restart_base()); |
| 176 | default: GECODE_NEVER; |
| 177 | } |
| 178 | return nullptr; |
| 179 | } |
| 180 | |
| 181 | |
| 182 | #ifdef GECODE_HAS_GIST |
no test coverage detected