cprover
Loading...
Searching...
No Matches
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.