|
CBMC
|
#include <iosfwd>#include <string>#include <util/irep.h>#include <util/graph.h>#include <util/xml.h>
Include dependency graph for graphml.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| struct | xml_edget |
| struct | xml_graph_nodet |
| class | graphmlt |
Functions | |
| bool | read_graphml (std::istream &is, graphmlt &dest, graphmlt::node_indext &entry, message_handlert &message_handler) |
| bool | read_graphml (const std::string &filename, graphmlt &dest, graphmlt::node_indext &entry, message_handlert &message_handler) |
| bool | write_graphml (const graphmlt &src, std::ostream &os) |
Read/write graphs as GraphML
Definition in file graphml.h.
| bool read_graphml | ( | const std::string & | filename, |
| graphmlt & | dest, | ||
| graphmlt::node_indext & | entry, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 191 of file graphml.cpp.
| bool read_graphml | ( | std::istream & | is, |
| graphmlt & | dest, | ||
| graphmlt::node_indext & | entry, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 177 of file graphml.cpp.
| bool write_graphml | ( | const graphmlt & | src, |
| std::ostream & | os | ||
| ) |
Definition at line 205 of file graphml.cpp.