UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for GTXLReader, including all inherited members.
areWarningsShown() | GTXLReader | |
GTXLReader() | GTXLReader | protected |
newReader() | GTXLReader | static |
newUniqueReader() | GTXLReader | static |
readGTXL(string filename, unordered_map< IDType, IDType > *oldRuleIDs=nullptr, unordered_map< IDType, IDType > *oldGraphIDs=nullptr) const =0 | GTXLReader | pure virtual |
readGXL(string filename, unordered_map< IDType, IDType > *oldIDs=nullptr) const =0 | GTXLReader | pure virtual |
setWarningsShown(bool show) | GTXLReader | |
showWarnings | GTXLReader | protected |
~GTXLReader() | GTXLReader | virtual |