Go to the documentation of this file.
12 #ifndef CPROVER_XMLLANG_GRAPHML_H
13 #define CPROVER_XMLLANG_GRAPHML_H
44 bool has_node(
const std::string &node_name)
const
46 for(
const auto &n :
nodes)
47 if(n.node_name==node_name)
57 if(
nodes[i].node_name==node_name)
73 const std::string &filename,
79 #endif // CPROVER_XMLLANG_GRAPHML_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool has_node(const std::string &node_name) const
A generic directed graph with a parametric node type.
node_indext add_node(arguments &&... values)
graph_nodet< xml_edget >::edget edget
bool write_graphml(const graphmlt &src, std::ostream &os)
nodet::node_indext node_indext
graph_nodet< xml_edget >::edgest edgest
std::map< std::string, std::string > key_valuest
A Template Class for Graphs.
This class represents a node in a directed graph.
node_indext add_node_if_not_exists(std::string node_name)
bool read_graphml(std::istream &is, graphmlt &dest, graphmlt::node_indext &entry)
std::string invariant_scope