122 /// Construct a new GraphWriter. It writes into the given graph |
122 /// Construct a new GraphWriter. It writes into the given graph |
123 /// to the given file. |
123 /// to the given file. |
124 GraphWriter(const std::string& _filename, const Graph& _graph) |
124 GraphWriter(const std::string& _filename, const Graph& _graph) |
125 : writer(new LemonWriter(_filename)), own_writer(true), |
125 : writer(new LemonWriter(_filename)), own_writer(true), |
126 graph(_graph), |
126 graph(_graph), |
127 nodeset_writer(*writer, graph, std::string(), skipper), |
127 nodeset_writer(*writer, graph, std::string()), |
128 edgeset_writer(*writer, graph, nodeset_writer, std::string(), skipper), |
128 edgeset_writer(*writer, graph, nodeset_writer, std::string()), |
129 node_writer(*writer, nodeset_writer, std::string()), |
129 node_writer(*writer, nodeset_writer, std::string()), |
130 edge_writer(*writer, edgeset_writer, std::string()), |
130 edge_writer(*writer, edgeset_writer, std::string()), |
131 attribute_writer(*writer, std::string()) {} |
131 attribute_writer(*writer, std::string()) {} |
132 |
132 |
133 /// \brief Construct a new GraphWriter. |
133 /// \brief Construct a new GraphWriter. |