Add new brancher information
| 282 | } |
| 283 | /// Add new brancher information |
| 284 | void add(BrancherGroup bg, |
| 285 | const std::string& rel0, |
| 286 | const std::string& rel1, |
| 287 | const std::vector<std::string>& n) { |
| 288 | v.resize(std::max(static_cast<unsigned int>(v.size()),bg.id()+1)); |
| 289 | v[bg.id()] = BI(rel0,rel1,n); |
| 290 | } |
| 291 | /// Output branch information |
| 292 | void print(const Brancher& b, |
| 293 | unsigned int a, int i, int n, std::ostream& o) const { |