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

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

areWarningsShown()GTXLReader
GTXLReader()GTXLReaderprotected
newReader()GTXLReaderstatic
newUniqueReader()GTXLReaderstatic
readGTXL(string filename, unordered_map< IDType, IDType > *oldRuleIDs=nullptr, unordered_map< IDType, IDType > *oldGraphIDs=nullptr) const =0GTXLReaderpure virtual
readGXL(string filename, unordered_map< IDType, IDType > *oldIDs=nullptr) const =0GTXLReaderpure virtual
setWarningsShown(bool show)GTXLReader
showWarningsGTXLReaderprotected
~GTXLReader()GTXLReadervirtual