| 255 | } |
| 256 | |
| 257 | forceinline unsigned int |
| 258 | IntVarImp::regret_min(void) const { |
| 259 | if (fst() == nullptr) { |
| 260 | return (dom.min() == dom.max()) ? 0U : 1U; |
| 261 | } else if (dom.min() == fst()->max()) { |
| 262 | return static_cast<unsigned int>(fst()->next(nullptr)->min()-dom.min()); |
| 263 | } else { |
| 264 | return 1U; |
| 265 | } |
| 266 | } |
| 267 | forceinline unsigned int |
| 268 | IntVarImp::regret_max(void) const { |
| 269 | if (fst() == nullptr) { |