CBMC
|
Read/write graphs as GraphML. More...
#include <iosfwd>
#include <string>
#include <util/irep.h>
#include <util/graph.h>
#include <util/xml.h>
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 189 of file graphml.cpp.
bool read_graphml | ( | std::istream & | is, |
graphmlt & | dest, | ||
graphmlt::node_indext & | entry, | ||
message_handlert & | message_handler | ||
) |
Definition at line 175 of file graphml.cpp.
bool write_graphml | ( | const graphmlt & | src, |
std::ostream & | os | ||
) |
Definition at line 203 of file graphml.cpp.