| 121 | |
| 122 | template<int n, bool min, class Filter, class Print> |
| 123 | const Choice* |
| 124 | ViewValuesBrancher<n,min,Filter,Print>::choice(Space& home) { |
| 125 | Pos p = ViewBrancher<IntView,Filter,n>::pos(home); |
| 126 | return new PosValuesChoice(*this,p, |
| 127 | ViewBrancher<IntView,Filter,n>::view(p)); |
| 128 | } |
| 129 | |
| 130 | template<int n, bool min, class Filter, class Print> |
| 131 | const Choice* |