UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for GTXLWriterXerces, including all inherited members.
generateEdgeID(const IDType &edgeID, const IDType &graphID) const | GTXLWriterXerces | private |
generateGraphID(const IDType &graphID) const | GTXLWriterXerces | private |
generateLeftRulegraphID(const IDType &ruleID) const | GTXLWriterXerces | private |
generateRightRulegraphID(const IDType &ruleID) const | GTXLWriterXerces | private |
generateRuleID(const IDType &ruleID) const | GTXLWriterXerces | private |
generateVertexID(const IDType &nodeID, const IDType &graphID) const | GTXLWriterXerces | private |
getGraphIDStorage() const | GTXLWriter | |
getRuleIDStorage() const | GTXLWriter | |
GTXLWriter() | GTXLWriter | protected |
GTXLWriterXerces() | GTXLWriterXerces | |
newUniqueWriter() | GTXLWriter | static |
newWriter() | GTXLWriter | static |
setGraphIDStorage(bool value) | GTXLWriter | |
setRuleIDStorage(bool value) | GTXLWriter | |
storeGraphIDs | GTXLWriter | protected |
storeRuleIDs | GTXLWriter | protected |
writeGTXL(graphs::GTS const >s, boost::filesystem::path &filename) const override | GTXLWriterXerces | virtual |
uncover::io::GTXLWriter::writeGTXL(graphs::GTS const >s, string filename) const | GTXLWriter | virtual |
writeGXL(vector< graphs::Hypergraph_sp > const &graphs, boost::filesystem::path &filename) const override | GTXLWriterXerces | virtual |
uncover::io::GTXLWriter::writeGXL(vector< graphs::Hypergraph_sp > const &graphs, string filename) const | GTXLWriter | virtual |
uncover::io::GTXLWriter::writeGXL(graphs::Hypergraph_sp graph, string filename) const | GTXLWriter | virtual |
uncover::io::GTXLWriter::writeGXL(graphs::Hypergraph_sp graph, boost::filesystem::path &filename) const | GTXLWriter | virtual |
writeHypergraph(xercesc::DOMElement *gxlRoot, graphs::Hypergraph const &graph) const | GTXLWriterXerces | private |
writeHypergraph(xercesc::DOMElement *gxlRoot, graphs::AnonHypergraph const &graph) const | GTXLWriterXerces | private |
writeHypergraph(xercesc::DOMElement *gxlRoot, graphs::AnonHypergraph const &graph, IDType const &graphID) const | GTXLWriterXerces | private |
writeRule(xercesc::DOMElement *gtxlRoot, graphs::AnonRule const &rule, IDType id, vector< unordered_set< IDType >> const *leftUQids, vector< unordered_set< IDType >> const *rightUQids) const | GTXLWriterXerces | private |
writeStdRule(xercesc::DOMElement *gtxlRoot, graphs::Rule const &rule) const | GTXLWriterXerces | private |
writeUQRule(xercesc::DOMElement *gtxlRoot, graphs::UQRule const &rule) const | GTXLWriterXerces | private |
xmlch_attr (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_edgeids (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_edgemode (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_elem (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_from (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_graph (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_gts (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_gxl (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_hypergraph (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_id (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_initial (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_int (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_label (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_lhs (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_mapelem (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_mapping (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_name (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_node (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_quantification (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_ref (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_rel (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_relend (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_rhs (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_role (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_rule (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_rulegraph (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_startorder (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_string (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_target (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_to (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_true (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_undirected (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
xmlch_vertex (defined in GTXLWriterXerces) | GTXLWriterXerces | private |
~GTXLWriter() | GTXLWriter | virtual |
~GTXLWriterXerces() | GTXLWriterXerces | virtual |