CBMC
Loading...
Searching...
No Matches
Typedefs | Functions
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 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)
 
 
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_maptname_to_node,
graphmltgraph 
)
static

Definition at line 20 of file graphml.cpp.

◆  build_graph()

static bool build_graph ( const xmltxml,
graphmltdest,
graphmlt::node_indextentry 
)
static

Definition at line 141 of file graphml.cpp.

◆  build_graph_rec()

static bool build_graph_rec ( const xmltxml,
name_maptname_to_node,
std::map< std::string, std::map< std::string, std::string > > &  defaults,
graphmltdest,
std::string &  entrynode 
)
static

Definition at line 33 of file graphml.cpp.

◆  read_graphml() [1/2]

bool read_graphml ( const std::string &  filename,
graphmltdest,
message_handlertmessage_handler 
)

Definition at line 189 of file graphml.cpp.

◆  read_graphml() [2/2]

bool read_graphml ( std::istream &  is,
graphmltdest,
message_handlertmessage_handler 
)

Definition at line 175 of file graphml.cpp.

◆  write_graphml()

bool write_graphml ( const graphmltsrc,
std::ostream &  os 
)

Definition at line 203 of file graphml.cpp.

AltStyle によって変換されたページ (->オリジナル) /