| 1646 | } |
| 1647 | |
| 1648 | string getName(const set<string>& names, const string& name) |
| 1649 | { |
| 1650 | if (names.count(name)) { |
| 1651 | return name; |
| 1652 | } |
| 1653 | const auto& alias = aliasMap.at(name); |
| 1654 | if (names.count(alias)) { |
| 1655 | return alias; |
| 1656 | } |
| 1657 | return name; // let exception be thrown elsewhere |
| 1658 | } |
| 1659 | |
| 1660 | void SolutionArray::readEntry(const string& fname, const string& name, |
| 1661 | const string& sub) |