| 380 | ViewSel<View>::ViewSel(Space&, ViewSel<View>&) {} |
| 381 | template<class View> |
| 382 | int |
| 383 | ViewSel<View>::select(Space&, ViewArray<View>&, int, |
| 384 | BrancherNoFilter<View>&) { |
| 385 | GECODE_NEVER; |
| 386 | return 0; |
| 387 | } |
| 388 | template<class View> |
| 389 | void |
| 390 | ViewSel<View>::ties(Space&, ViewArray<View>&, int, |