| 418 | |
| 419 | |
| 420 | forceinline BoolValBranch |
| 421 | i2b(const IntValBranch& ivb) { |
| 422 | switch (ivb.select()) { |
| 423 | case IntValBranch::SEL_MIN: |
| 424 | case IntValBranch::SEL_MED: |
| 425 | case IntValBranch::SEL_SPLIT_MIN: |
| 426 | case IntValBranch::SEL_RANGE_MIN: |
| 427 | return BOOL_VAL_MIN(); |
| 428 | case IntValBranch::SEL_MAX: |
| 429 | case IntValBranch::SEL_SPLIT_MAX: |
| 430 | case IntValBranch::SEL_RANGE_MAX: |
| 431 | return BOOL_VAL_MAX(); |
| 432 | case IntValBranch::SEL_RND: |
| 433 | return BOOL_VAL_RND(ivb.rnd()); |
| 434 | case IntValBranch::SEL_VAL_COMMIT: |
| 435 | default: |
| 436 | GECODE_NEVER; |
| 437 | } |
| 438 | GECODE_NEVER; |
| 439 | return BOOL_VAL_MIN(); |
| 440 | } |
| 441 | |
| 442 | }} |
| 443 |
nothing calls this directly
no test coverage detected