| ... | ... |
@@ -925,25 +925,25 @@ |
| 925 | 925 |
class GraphWriter {
|
| 926 | 926 |
public: |
| 927 | 927 |
|
| 928 | 928 |
typedef _Graph Graph; |
| 929 | 929 |
TEMPLATE_GRAPH_TYPEDEFS(Graph); |
| 930 | 930 |
|
| 931 | 931 |
private: |
| 932 | 932 |
|
| 933 | 933 |
|
| 934 | 934 |
std::ostream* _os; |
| 935 | 935 |
bool local_os; |
| 936 | 936 |
|
| 937 |
Graph& _graph; |
|
| 937 |
const Graph& _graph; |
|
| 938 | 938 |
|
| 939 | 939 |
std::string _nodes_caption; |
| 940 | 940 |
std::string _edges_caption; |
| 941 | 941 |
std::string _attributes_caption; |
| 942 | 942 |
|
| 943 | 943 |
typedef std::map<Node, std::string> NodeIndex; |
| 944 | 944 |
NodeIndex _node_index; |
| 945 | 945 |
typedef std::map<Edge, std::string> EdgeIndex; |
| 946 | 946 |
EdgeIndex _edge_index; |
| 947 | 947 |
|
| 948 | 948 |
typedef std::vector<std::pair<std::string, |
| 949 | 949 |
_writer_bits::MapStorageBase<Node>* > > NodeMaps; |
0 comments (0 inline)