| 87 | |
| 88 | template<class View> |
| 89 | forceinline |
| 90 | BrancherFilter<View>::BrancherFilter(BranchFilter<Var> bf) : f(bf) { |
| 91 | if (!bf) |
| 92 | throw Gecode::InvalidFunction("BrancherFilter::BrancherFilter"); |
| 93 | } |
| 94 | |
| 95 | template<class View> |
| 96 | forceinline |
no outgoing calls
no test coverage detected