| 265 | } |
| 266 | } |
| 267 | forceinline unsigned int |
| 268 | IntVarImp::regret_max(void) const { |
| 269 | if (fst() == nullptr) { |
| 270 | return (dom.min() == dom.max()) ? 0U : 1U; |
| 271 | } else if (dom.max() == lst()->min()) { |
| 272 | return static_cast<unsigned int>(dom.max()-lst()->prev(nullptr)->max()); |
| 273 | } else { |
| 274 | return 1U; |
| 275 | } |
| 276 | } |
| 277 | |
| 278 | |
| 279 |