Branch on \a x according to \a htb
| 173 | HowToConstrain htc; |
| 174 | /// Branch on \a x according to \a htb |
| 175 | void branch(const IntVarArgs& x, HowToBranch htb) { |
| 176 | switch (htb) { |
| 177 | case HTB_NONE: |
| 178 | break; |
| 179 | case HTB_UNARY: |
| 180 | assign(*this, x, INT_ASSIGN_MIN()); |
| 181 | break; |
| 182 | case HTB_BINARY: |
| 183 | Gecode::branch(*this, x, INT_VAR_NONE(), INT_VAL_MIN()); |
| 184 | break; |
| 185 | case HTB_NARY: |
| 186 | Gecode::branch(*this, x, INT_VAR_NONE(), INT_VALUES_MIN()); |
| 187 | break; |
| 188 | } |
| 189 | } |
| 190 | /// Constructor for space creation |
| 191 | HasSolutions(HowToBranch _htb1, HowToBranch _htb2, HowToBranch _htb3, |
| 192 | HowToConstrain _htc=HTC_NONE) |
nothing calls this directly
no test coverage detected