| 115 | |
| 116 | template<class View, class Val> |
| 117 | forceinline void |
| 118 | BrancherPrint<View,Val>::operator ()(const Space& home, const Brancher& b, |
| 119 | unsigned int a, |
| 120 | View x, int i, const Val& m, |
| 121 | std::ostream& o) const { |
| 122 | GECODE_VALID_FUNCTION(p()); |
| 123 | Var xv(x.varimp()); |
| 124 | p()(home,b,a,xv,i,m,o); |
| 125 | } |
| 126 | |
| 127 | template<class View, class Val> |
| 128 | forceinline bool |