Output branch information
| 290 | } |
| 291 | /// Output branch information |
| 292 | void print(const Brancher& b, |
| 293 | unsigned int a, int i, int n, std::ostream& o) const { |
| 294 | const BI& bi = v[b.group().id()]; |
| 295 | o << bi.n[i] << " " << (a==0 ? bi.r0 : bi.r1) << " " << n; |
| 296 | } |
| 297 | #ifdef GECODE_HAS_FLOAT_VARS |
| 298 | void print(const Brancher& b, |
| 299 | unsigned int a, int i, const FloatNumBranch& nl, |