cprover
|
Read/write graphs as GraphML. More...
#include "graphml.h"
#include <cassert>
#include <set>
#include <util/message.h>
#include <util/string2int.h>
#include "xml_parser.h"
Go to the source code of this file.
Typedefs | |
typedef std::map< std::string, graphmlt::node_indext > | name_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) |
bool | read_graphml (const std::string &filename, graphmlt &dest, graphmlt::node_indext &entry) |
bool | write_graphml (const graphmlt &src, std::ostream &os) |
Read/write graphs as GraphML.
Definition in file graphml.cpp.
typedef std::map<std::string, graphmlt::node_indext> name_mapt |
Definition at line 24 of file graphml.cpp.
|
static |
Definition at line 26 of file graphml.cpp.
References grapht< N >::add_node(), and xmlt::name.
Referenced by build_graph_rec().
|
static |
Definition at line 150 of file graphml.cpp.
References build_graph_rec(), grapht< N >::empty(), INVARIANT, xml_graph_nodet::node_name, grapht< N >::size(), and xml().
Referenced by read_graphml().
|
static |
Definition at line 39 of file graphml.cpp.
References add_node(), xmlt::data, xmlt::elements, xmlt::get_attribute(), xml_graph_nodet::has_invariant, grapht< N >::in(), xml_graph_nodet::is_violation, xmlt::name, xmlt::new_element(), xml_graph_nodet::node_name, grapht< N >::out(), safe_string2unsigned(), xmlt::set_attribute(), xml_graph_nodet::thread_nr, UNREACHABLE, and xml().
Referenced by build_graph().
bool read_graphml | ( | std::istream & | is, |
graphmlt & | dest, | ||
graphmlt::node_indext & | entry | ||
) |
Definition at line 184 of file graphml.cpp.
References build_graph(), message_handler, parse_xml(), and xml().
bool read_graphml | ( | const std::string & | filename, |
graphmlt & | dest, | ||
graphmlt::node_indext & | entry | ||
) |
Definition at line 198 of file graphml.cpp.
References build_graph(), message_handler, parse_xml(), and xml().
bool write_graphml | ( | const graphmlt & | src, |
std::ostream & | os | ||
) |
Definition at line 212 of file graphml.cpp.
References xmlt::data, xml_graph_nodet::has_invariant, xml_graph_nodet::invariant, xml_graph_nodet::invariant_scope, xml_graph_nodet::is_violation, graphmlt::key_values, xmlt::new_element(), xml_graph_nodet::node_name, graph_nodet< E >::out, xmlt::set_attribute(), grapht< N >::size(), xml_graph_nodet::thread_nr, and to_string().
Referenced by bmct::output_graphml().