| ... | ... |
@@ -57,4 +57,4 @@ |
| 57 | 57 |
/// SmartGraph graph; |
| 58 |
/// while(readNauty(std::cin, graph)) {
|
|
| 59 |
/// PlanarityChecking<SmartUGraph> pc(graph); |
|
| 58 |
/// while (readNauty(graph, std::cin)) {
|
|
| 59 |
/// PlanarityChecking<SmartGraph> pc(graph); |
|
| 60 | 60 |
/// if (pc.run()) ++num; |
| ... | ... |
@@ -70,3 +70,3 @@ |
| 70 | 70 |
template <typename Graph> |
| 71 |
std::istream& readNauty(std::istream& is |
|
| 71 |
std::istream& readNauty(Graph& graph, std::istream& is) {
|
|
| 72 | 72 |
graph.clear(); |
0 comments (0 inline)