0
2
0
... | ... |
@@ -45,26 +45,26 @@ |
45 | 45 |
/// |
46 | 46 |
/// For example, the number of all non-isomorphic planar graphs |
47 | 47 |
/// can be computed with the following code. |
48 | 48 |
///\code |
49 | 49 |
/// int num = 0; |
50 | 50 |
/// SmartGraph graph; |
51 |
/// while ( |
|
51 |
/// while (readNautyGraph(graph, std::cin)) { |
|
52 | 52 |
/// PlanarityChecking<SmartGraph> pc(graph); |
53 | 53 |
/// if (pc.run()) ++num; |
54 | 54 |
/// } |
55 | 55 |
/// std::cout << "Number of planar graphs: " << num << std::endl; |
56 | 56 |
///\endcode |
57 | 57 |
/// |
58 | 58 |
/// The nauty files are quite huge, therefore instead of the direct |
59 | 59 |
/// file generation pipelining is recommended. For example, |
60 | 60 |
///\code |
61 | 61 |
/// ./geng -c 10 | ./num_of_planar_graphs |
62 | 62 |
///\endcode |
63 | 63 |
template <typename Graph> |
64 |
std::istream& |
|
64 |
std::istream& readNautyGraph(Graph& graph, std::istream& is = std::cin) { |
|
65 | 65 |
graph.clear(); |
66 | 66 |
|
67 | 67 |
std::string line; |
68 | 68 |
if (getline(is, line)) { |
69 | 69 |
int index = 0; |
70 | 70 |
... | ... |
@@ -87,9 +87,10 @@ |
87 | 87 |
-e "s/\<\([Ff]\)unctorMap\>/\1unctorToMap/g"\ |
88 | 88 |
-e "s/\<\([Mm]\)apFunctor\>/\1apToFunctor/g"\ |
89 | 89 |
-e "s/\<\([Ff]\)orkWriteMap\>/\1orkMap/g"\ |
90 | 90 |
-e "s/\<StoreBoolMap\>/LoggerBoolMap/g"\ |
91 | 91 |
-e "s/\<storeBoolMap\>/loggerBoolMap/g"\ |
92 | 92 |
-e "s/\<BoundingBox\>/Box/g"\ |
93 |
-e "s/\<readNauty\>/readNautyGraph/g"\ |
|
93 | 94 |
<$i > $TMP |
94 | 95 |
mv $TMP $i |
95 | 96 |
done |
0 comments (0 inline)