| 79 | } |
| 80 | |
| 81 | NGL* |
| 82 | IntBoolBrancherBase::ngl(Space& home, const Choice& _c, |
| 83 | unsigned int b) const { |
| 84 | const PosIntChoice& c |
| 85 | = static_cast<const PosIntChoice&>(_c); |
| 86 | int p=c.pos(); int n=c.val(); |
| 87 | if (p < x.size()) { |
| 88 | return xvsc->ngl(home,b,x[p],n); |
| 89 | } else { |
| 90 | p -= x.size(); |
| 91 | return yvsc->ngl(home,b,y[p],n); |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | void |
| 96 | IntBoolBrancherBase::print(const Space& home, const Choice& _c, |