CBMC
graphml.cpp File Reference

Read/write graphs as GraphML. More...

#include "graphml.h"
#include "xml_parser.h"
+ Include dependency graph for graphml.cpp:

Go to the source code of this file.

Typedefs

typedef std::map< std::string, graphmlt::node_indextname_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)
 

Detailed Description

Read/write graphs as GraphML.

Definition in file graphml.cpp.

Typedef Documentation

◆ name_mapt

typedef std::map<std::string, graphmlt::node_indext> name_mapt

Definition at line 18 of file graphml.cpp.

Function Documentation

◆ add_node()

static graphmlt::node_indext add_node ( const std::string &  name,
name_mapt name_to_node,
graphmlt graph 
)
static

Definition at line 20 of file graphml.cpp.

◆ build_graph()

static bool build_graph ( const xmlt xml,
graphmlt dest,
graphmlt::node_indext entry 
)
static

Definition at line 141 of file graphml.cpp.

◆ build_graph_rec()

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

Definition at line 33 of file graphml.cpp.

◆ read_graphml() [1/2]

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.

◆ read_graphml() [2/2]

bool read_graphml ( std::istream &  is,
graphmlt dest,
graphmlt::node_indext entry,
message_handlert message_handler 
)

Definition at line 175 of file graphml.cpp.

◆ write_graphml()

bool write_graphml ( const graphmlt src,
std::ostream &  os 
)

Definition at line 203 of file graphml.cpp.