| 346 | |
| 347 | #ifdef GECODE_HAS_FLOAT_VARS |
| 348 | void varValPrintF(const Space &home, const Brancher& b, |
| 349 | unsigned int a, |
| 350 | FloatVar, int i, const FloatNumBranch& nl, |
| 351 | std::ostream& o) { |
| 352 | static_cast<const FlatZincSpace&>(home).branchInfo.print(b,a,i,nl,o); |
| 353 | } |
| 354 | #endif |
| 355 | |
| 356 | IntSet vs2is(IntVarSpec* vs) { |