Return name for branching
| 189 | } |
| 190 | /// Return name for branching |
| 191 | static std::string val(SetValBranch svb) { |
| 192 | switch (svb.select()) { |
| 193 | case SetValBranch::SEL_MIN_INC: return "SET_VAL_MIN_INC"; |
| 194 | case SetValBranch::SEL_MAX_INC: return "SET_VAL_MAX_INC"; |
| 195 | case SetValBranch::SEL_MIN_EXC: return "SET_VAL_MIN_EXC"; |
| 196 | case SetValBranch::SEL_MAX_EXC: return "SET_VAL_MAX_EXC"; |
| 197 | default: GECODE_NEVER; |
| 198 | } |
| 199 | return ""; |
| 200 | } |
| 201 | }; |
| 202 | #endif |
| 203 |