... | ... |
@@ -32,39 +32,39 @@ |
32 | 32 |
/// \ingroup nauty_group |
33 | 33 |
/// |
34 | 34 |
/// \brief Nauty file reader |
35 | 35 |
/// |
36 | 36 |
/// The \e geng program is in the \e gtools suite of the nauty |
37 | 37 |
/// package. This tool can generate all non-isomorphic undirected |
38 |
/// graphs with given node number |
|
38 |
/// graphs of several classes with given node number (e.g. |
|
39 | 39 |
/// general, connected, biconnected, triangle-free, 4-cycle-free, |
40 | 40 |
/// bipartite and graphs with given edge number and degree |
41 |
/// constraints). This function reads a \e nauty \e |
|
41 |
/// constraints). This function reads a \e nauty \e graph \e format |
|
42 | 42 |
/// line from the given stream and builds it in the given graph. |
43 | 43 |
/// |
44 | 44 |
/// The site of nauty package: http://cs.anu.edu.au/~bdm/nauty/ |
45 | 45 |
/// |
46 |
/// For example, the number of all non-isomorphic connected graphs |
|
47 |
/// can be computed with following code. |
|
46 |
/// For example, the number of all non-isomorphic planar graphs |
|
47 |
/// can be computed with the following code. |
|
48 | 48 |
///\code |
49 | 49 |
/// int num = 0; |
50 | 50 |
/// SmartGraph graph; |
51 | 51 |
/// while (readNauty(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 |
/// file generation |
|
59 |
/// file generation pipelining is recommended. For example, |
|
60 | 60 |
///\code |
61 |
/// ./geng -c 10 | ./ |
|
61 |
/// ./geng -c 10 | ./num_of_planar_graphs |
|
62 | 62 |
///\endcode |
63 | 63 |
template <typename Graph> |
64 |
std::istream& readNauty(Graph& graph, std::istream& is) { |
|
64 |
std::istream& readNauty(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 |
|
0 comments (0 inline)