Return name for branching
| 106 | } |
| 107 | /// Return name for branching |
| 108 | static std::string val(IntValBranch ivb) { |
| 109 | switch (ivb.select()) { |
| 110 | case IntValBranch::SEL_MIN: return "INT_VAL_MIN"; |
| 111 | case IntValBranch::SEL_MAX: return "INT_VAL_MAX"; |
| 112 | case IntValBranch::SEL_SPLIT_MIN: return "INT_VAL_SPLIT_MIN"; |
| 113 | case IntValBranch::SEL_SPLIT_MAX: return "INT_VAL_SPLIT_MAX"; |
| 114 | case IntValBranch::SEL_VALUES_MIN: return "INT_VALUES_MIN"; |
| 115 | case IntValBranch::SEL_VALUES_MAX: return "INT_VALUES_MAX"; |
| 116 | default: GECODE_NEVER; |
| 117 | } |
| 118 | return ""; |
| 119 | } |
| 120 | }; |
| 121 | |
| 122 | #ifdef GECODE_HAS_SET_VARS |