| 227 | |
| 228 | template<class View> |
| 229 | forceinline void |
| 230 | CBSBrancher<View>::print(const Space&, const Choice& c, unsigned int a, |
| 231 | std::ostream& o) const { |
| 232 | const auto& pvc = static_cast<const PosValChoice<int>&>(c); |
| 233 | int pos=pvc.pos().pos, val=pvc.val(); |
| 234 | if (a == 0) |
| 235 | o << "x[" << pos << "] = " << val; |
| 236 | else |
| 237 | o << "x[" << pos << "] != " << val; |
| 238 | } |
| 239 | |
| 240 | }}} |
| 241 |