UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for GTXLReaderXerces, including all inherited members.
areWarningsShown() | GTXLReader | |
checkConsistency(const graphs::Mapping &match, const graphs::Hypergraph &left, const graphs::Hypergraph &right) const | GTXLReaderXerces | private |
checkConsistency(graphs::Rule const &rule, GTXLReaderXerces::QuantMap &leftQuantMap, GTXLReaderXerces::QuantMap &rightQuantMap) const | GTXLReaderXerces | private |
checkConsistency(graphs::AnonHypergraph const &graph, GTXLReaderXerces::QuantMap const &quantMap) const | GTXLReaderXerces | private |
convertToQuant(graphs::UQRule &rule, unordered_set< IDType > const &leftQuant, unordered_set< IDType > const &rightQuant) const | GTXLReaderXerces | private |
GTXLReader() | GTXLReader | protected |
GTXLReaderXerces() | GTXLReaderXerces | |
isEqualIgnoringCase2(const XMLCh *lowerCase, const XMLCh *notLowerCase) const | GTXLReaderXerces | inlineprivate |
newReader() | GTXLReader | static |
newUniqueReader() | GTXLReader | static |
QuantMap typedef | GTXLReaderXerces | private |
readAnonHypergraph(xercesc::DOMElement *graphroot) const | GTXLReaderXerces | private |
readAnonHypergraph(xercesc::DOMElement *graphroot, unordered_map< IDType, IDType > *oldIDs, graphs::AnonHypergraph &graph, IDType const &graphID, unordered_map< string, IDType > &strToID) const | GTXLReaderXerces | private |
readGTXL(string filename, unordered_map< IDType, IDType > *oldRuleIDs=nullptr, unordered_map< IDType, IDType > *oldGraphIDs=nullptr) const override | GTXLReaderXerces | virtual |
readGXL(string filename, unordered_map< IDType, IDType > *oldIDs) const override | GTXLReaderXerces | virtual |
readHypergraph(xercesc::DOMElement *graphroot, unordered_map< IDType, IDType > *oldIDs=nullptr) const | GTXLReaderXerces | private |
readQuantMap(xercesc::DOMElement *root, GTXLReaderXerces::QuantMap &quantMap, unordered_map< string, IDType > &idMap) const | GTXLReaderXerces | private |
readRule(xercesc::DOMElement *ruleroot, unordered_map< IDType, IDType > *oldIDs=nullptr) const | GTXLReaderXerces | private |
RuleTriple typedef | GTXLReaderXerces | private |
setWarningsShown(bool show) | GTXLReader | |
showWarnings | GTXLReader | protected |
xmlch_attr (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_edge (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_edgeids (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_edgemode (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_elem (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_from (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_graph (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_gts (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_gxl (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_hypergraph (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_id (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_initial (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_int (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_label (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_lhs (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_mapelem (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_mapping (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_name (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_node (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_quantification (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_ref (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_rel (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_relend (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_rhs (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_role (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_rule (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_rulegraph (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_startorder (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_string (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_target (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_text (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_to (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_transformationunit (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_true (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
xmlch_type (defined in GTXLReaderXerces) | GTXLReaderXerces | private |
~GTXLReader() | GTXLReader | virtual |
~GTXLReaderXerces() | GTXLReaderXerces | virtual |