| 67 | /** Read a graph from the specified files. */ |
| 68 | template <typename Graph, typename It, typename BetterEP> |
| 69 | void readGraphs(Graph& g, It first, It last, BetterEP betterEP) |
| 70 | { |
| 71 | if (first != last) { |
| 72 | for (It it = first; it < last; ++it) |
| 73 | readGraph(*it, g, betterEP); |
| 74 | } else |
| 75 | readGraph("-", g, betterEP); |
| 76 | } |
| 77 | |
| 78 | int main(int argc, char** argv) |
| 79 | { |