UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for GTXLWriter, including all inherited members.
getGraphIDStorage() const | GTXLWriter | |
getRuleIDStorage() const | GTXLWriter | |
GTXLWriter() | GTXLWriter | protected |
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, string filename) const | GTXLWriter | virtual |
writeGTXL(graphs::GTS const >s, boost::filesystem::path &filename) const =0 | GTXLWriter | pure virtual |
writeGXL(vector< graphs::Hypergraph_sp > const &graphs, string filename) const | GTXLWriter | virtual |
writeGXL(vector< graphs::Hypergraph_sp > const &graphs, boost::filesystem::path &filename) const =0 | GTXLWriter | pure virtual |
writeGXL(graphs::Hypergraph_sp graph, string filename) const | GTXLWriter | virtual |
writeGXL(graphs::Hypergraph_sp graph, boost::filesystem::path &filename) const | GTXLWriter | virtual |
~GTXLWriter() | GTXLWriter | virtual |