CBMC
|
Read/write graphs as GraphML. More...
Go to the source code of this file.
Typedefs | |
typedef std::map< std::string, graphmlt::node_indext > | name_mapt |
Functions | |
static graphmlt::node_indext | add_node (const std::string &name, name_mapt &name_to_node, graphmlt &graph) |
static bool | build_graph_rec (const xmlt &xml, name_mapt &name_to_node, std::map< std::string, std::map< std::string, std::string > > &defaults, graphmlt &dest, std::string &entrynode) |
static bool | build_graph (const xmlt &xml, graphmlt &dest, graphmlt::node_indext &entry) |
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.cpp.
typedef std::map<std::string, graphmlt::node_indext> name_mapt |
Definition at line 18 of file graphml.cpp.
|
static |
Definition at line 20 of file graphml.cpp.
|
static |
Definition at line 141 of file graphml.cpp.
|
static |
Definition at line 33 of file graphml.cpp.
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.