| 338 | #endif |
| 339 | template<class Var> |
| 340 | void varValPrint(const Space &home, const Brancher& b, |
| 341 | unsigned int a, |
| 342 | Var, int i, const int& n, |
| 343 | std::ostream& o) { |
| 344 | static_cast<const FlatZincSpace&>(home).branchInfo.print(b,a,i,n,o); |
| 345 | } |
| 346 | |
| 347 | #ifdef GECODE_HAS_FLOAT_VARS |
| 348 | void varValPrintF(const Space &home, const Brancher& b, |