CBMC
graphml.h File Reference

Read/write graphs as GraphML. More...

#include <iosfwd>
#include <string>
#include <util/irep.h>
#include <util/graph.h>
#include <util/xml.h>
+ Include dependency graph for graphml.h:
+ This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

Read/write graphs as GraphML.

Definition in file graphml.h.

Function Documentation

◆ 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.