| 93 | } |
| 94 | |
| 95 | void |
| 96 | IntBoolBrancherBase::print(const Space& home, const Choice& _c, |
| 97 | unsigned int b, |
| 98 | std::ostream& o) const { |
| 99 | const PosIntChoice& c |
| 100 | = static_cast<const PosIntChoice&>(_c); |
| 101 | int p=c.pos(); int n=c.val(); |
| 102 | if (p < x.size()) { |
| 103 | xvsc->print(home,b,x[p],p,n,o); |
| 104 | } else { |
| 105 | p -= x.size(); |
| 106 | yvsc->print(home,b,y[p],p,n,o); |
| 107 | } |
| 108 | } |
| 109 | |
| 110 | const Choice* |
| 111 | IntBoolBrancherBase::choice(const Space& home, Archive& e) { |