UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
GTXLWriterXerces Member List

This is the complete list of members for GTXLWriterXerces, including all inherited members.

generateEdgeID(const IDType &edgeID, const IDType &graphID) const GTXLWriterXercesprivate
generateGraphID(const IDType &graphID) const GTXLWriterXercesprivate
generateLeftRulegraphID(const IDType &ruleID) const GTXLWriterXercesprivate
generateRightRulegraphID(const IDType &ruleID) const GTXLWriterXercesprivate
generateRuleID(const IDType &ruleID) const GTXLWriterXercesprivate
generateVertexID(const IDType &nodeID, const IDType &graphID) const GTXLWriterXercesprivate
getGraphIDStorage() const GTXLWriter
getRuleIDStorage() const GTXLWriter
GTXLWriter()GTXLWriterprotected
GTXLWriterXerces()GTXLWriterXerces
newUniqueWriter()GTXLWriterstatic
newWriter()GTXLWriterstatic
setGraphIDStorage(bool value)GTXLWriter
setRuleIDStorage(bool value)GTXLWriter
storeGraphIDsGTXLWriterprotected
storeRuleIDsGTXLWriterprotected
writeGTXL(graphs::GTS const &gts, boost::filesystem::path &filename) const overrideGTXLWriterXercesvirtual
uncover::io::GTXLWriter::writeGTXL(graphs::GTS const &gts, string filename) const GTXLWritervirtual
writeGXL(vector< graphs::Hypergraph_sp > const &graphs, boost::filesystem::path &filename) const overrideGTXLWriterXercesvirtual
uncover::io::GTXLWriter::writeGXL(vector< graphs::Hypergraph_sp > const &graphs, string filename) const GTXLWritervirtual
uncover::io::GTXLWriter::writeGXL(graphs::Hypergraph_sp graph, string filename) const GTXLWritervirtual
uncover::io::GTXLWriter::writeGXL(graphs::Hypergraph_sp graph, boost::filesystem::path &filename) const GTXLWritervirtual
writeHypergraph(xercesc::DOMElement *gxlRoot, graphs::Hypergraph const &graph) const GTXLWriterXercesprivate
writeHypergraph(xercesc::DOMElement *gxlRoot, graphs::AnonHypergraph const &graph) const GTXLWriterXercesprivate
writeHypergraph(xercesc::DOMElement *gxlRoot, graphs::AnonHypergraph const &graph, IDType const &graphID) const GTXLWriterXercesprivate
writeRule(xercesc::DOMElement *gtxlRoot, graphs::AnonRule const &rule, IDType id, vector< unordered_set< IDType >> const *leftUQids, vector< unordered_set< IDType >> const *rightUQids) const GTXLWriterXercesprivate
writeStdRule(xercesc::DOMElement *gtxlRoot, graphs::Rule const &rule) const GTXLWriterXercesprivate
writeUQRule(xercesc::DOMElement *gtxlRoot, graphs::UQRule const &rule) const GTXLWriterXercesprivate
xmlch_attr (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_edgeids (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_edgemode (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_elem (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_from (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_graph (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_gts (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_gxl (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_hypergraph (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_id (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_initial (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_int (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_label (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_lhs (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_mapelem (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_mapping (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_name (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_node (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_quantification (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_ref (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_rel (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_relend (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_rhs (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_role (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_rule (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_rulegraph (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_startorder (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_string (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_target (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_to (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_true (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_undirected (defined in GTXLWriterXerces)GTXLWriterXercesprivate
xmlch_vertex (defined in GTXLWriterXerces)GTXLWriterXercesprivate
~GTXLWriter()GTXLWritervirtual
~GTXLWriterXerces()GTXLWriterXercesvirtual