| 151 | |
| 152 | template<int n, bool min, class Filter, class Print> |
| 153 | NGL* |
| 154 | ViewValuesBrancher<n,min,Filter,Print>::ngl(Space& home, const Choice& c, |
| 155 | unsigned int a) const { |
| 156 | const PosValuesChoice& pvc |
| 157 | = static_cast<const PosValuesChoice&>(c); |
| 158 | IntView x(ViewBrancher<IntView,Filter,n>::view(pvc.pos())); |
| 159 | unsigned int b = min ? a : (pvc.alternatives() - 1 - a); |
| 160 | return new (home) EqNGL<IntView>(home,x,pvc.val(b)); |
| 161 | } |
| 162 | |
| 163 | template<int n, bool min, class Filter, class Print> |
| 164 | void |
nothing calls this directly
no test coverage detected