| 63 | } |
| 64 | |
| 65 | ExecStatus |
| 66 | IntBoolBrancherBase::commit(Space& home, const Choice& _c, |
| 67 | unsigned int b) { |
| 68 | const PosIntChoice& c |
| 69 | = static_cast<const PosIntChoice&>(_c); |
| 70 | int p=c.pos(); int n=c.val(); |
| 71 | if (p < x.size()) { |
| 72 | return me_failed(xvsc->commit(home,b,x[p],p,n)) ? |
| 73 | ES_FAILED : ES_OK; |
| 74 | } else { |
| 75 | p -= x.size(); |
| 76 | return me_failed(yvsc->commit(home,b,y[p],p,n)) ? |
| 77 | ES_FAILED : ES_OK; |
| 78 | } |
| 79 | } |
| 80 | |
| 81 | NGL* |
| 82 | IntBoolBrancherBase::ngl(Space& home, const Choice& _c, |