| 106 | |
| 107 | template<class View> |
| 108 | forceinline bool |
| 109 | BrancherFilter<View>::operator ()(const Space& home, View x, int i) const { |
| 110 | GECODE_VALID_FUNCTION(f()); |
| 111 | Var xv(x.varimp()); |
| 112 | return f()(home,xv,i); |
| 113 | } |
| 114 | |
| 115 | template<class View> |
| 116 | forceinline bool |