CBMC
Loading...
Searching...
No Matches
Classes | Functions
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.

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