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

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

getGraphIDStorage() const GTXLWriter
getRuleIDStorage() const GTXLWriter
GTXLWriter()GTXLWriterprotected
newUniqueWriter()GTXLWriterstatic
newWriter()GTXLWriterstatic
setGraphIDStorage(bool value)GTXLWriter
setRuleIDStorage(bool value)GTXLWriter
storeGraphIDsGTXLWriterprotected
storeRuleIDsGTXLWriterprotected
writeGTXL(graphs::GTS const &gts, string filename) const GTXLWritervirtual
writeGTXL(graphs::GTS const &gts, boost::filesystem::path &filename) const =0GTXLWriterpure virtual
writeGXL(vector< graphs::Hypergraph_sp > const &graphs, string filename) const GTXLWritervirtual
writeGXL(vector< graphs::Hypergraph_sp > const &graphs, boost::filesystem::path &filename) const =0GTXLWriterpure virtual
writeGXL(graphs::Hypergraph_sp graph, string filename) const GTXLWritervirtual
writeGXL(graphs::Hypergraph_sp graph, boost::filesystem::path &filename) const GTXLWritervirtual
~GTXLWriter()GTXLWritervirtual