| 181 | template<class View, int n, class Val, unsigned int a, |
| 182 | class Filter, class Print> |
| 183 | const Choice* |
| 184 | LDSBSetBrancher<View,n,Val,a,Filter,Print>::choice(Space& home) { |
| 185 | // Making the PVC here is not so nice, I think. |
| 186 | const Choice* c = ViewValBrancher<View,n,Val,a,Filter,Print>::choice(home); |
| 187 | const PosValChoice<Val>* pvc = static_cast<const PosValChoice<Val>* >(c); |
| 188 | |
| 189 | // Compute symmetries. |
| 190 | |
| 191 | int choicePos = pvc->pos().pos; |
| 192 | delete c; |
| 193 | |
| 194 | assert(!_stable); |
| 195 | updatePart1(home, choicePos); |
| 196 | |
| 197 | return LDSBBrancher<View,n,Val,a,Filter,Print>::choice(home); |
| 198 | } |
| 199 | |
| 200 | template<class View, int n, class Val, unsigned int a, |
| 201 | class Filter, class Print> |