| 115 | |
| 116 | template<class View> |
| 117 | forceinline ExecStatus |
| 118 | ChannelBool<View>::post(Home home, ViewArray<Gecode::Int::BoolView>& x, |
| 119 | View y) { |
| 120 | GECODE_ME_CHECK(y.intersect(home, 0, x.size()-1)); |
| 121 | (void) new (home) ChannelBool(home,x,y); |
| 122 | return ES_OK; |
| 123 | } |
| 124 | |
| 125 | template<class View> |
| 126 | PropCost |