cprover
|
Read/write graphs as GraphML. More...
#include "graphml.h"
#include <cassert>
#include <set>
#include <util/message.h>
#include <util/string2int.h>
#include "xml_parser.h"
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) |
bool | read_graphml (const std::string &filename, graphmlt &dest, graphmlt::node_indext &entry) |
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 24 of file graphml.cpp.
|
static |
Definition at line 26 of file graphml.cpp.
|
static |
Definition at line 147 of file graphml.cpp.
|
static |
Definition at line 39 of file graphml.cpp.
bool read_graphml | ( | const std::string & | filename, |
graphmlt & | dest, | ||
graphmlt::node_indext & | entry | ||
) |
Definition at line 195 of file graphml.cpp.
bool read_graphml | ( | std::istream & | is, |
graphmlt & | dest, | ||
graphmlt::node_indext & | entry | ||
) |
Definition at line 181 of file graphml.cpp.
bool write_graphml | ( | const graphmlt & | src, |
std::ostream & | os | ||
) |
Definition at line 209 of file graphml.cpp.