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

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 GTXLReaderXercesprivate
checkConsistency(graphs::Rule const &rule, GTXLReaderXerces::QuantMap &leftQuantMap, GTXLReaderXerces::QuantMap &rightQuantMap) const GTXLReaderXercesprivate
checkConsistency(graphs::AnonHypergraph const &graph, GTXLReaderXerces::QuantMap const &quantMap) const GTXLReaderXercesprivate
convertToQuant(graphs::UQRule &rule, unordered_set< IDType > const &leftQuant, unordered_set< IDType > const &rightQuant) const GTXLReaderXercesprivate
GTXLReader()GTXLReaderprotected
GTXLReaderXerces()GTXLReaderXerces
isEqualIgnoringCase2(const XMLCh *lowerCase, const XMLCh *notLowerCase) const GTXLReaderXercesinlineprivate
newReader()GTXLReaderstatic
newUniqueReader()GTXLReaderstatic
QuantMap typedefGTXLReaderXercesprivate
readAnonHypergraph(xercesc::DOMElement *graphroot) const GTXLReaderXercesprivate
readAnonHypergraph(xercesc::DOMElement *graphroot, unordered_map< IDType, IDType > *oldIDs, graphs::AnonHypergraph &graph, IDType const &graphID, unordered_map< string, IDType > &strToID) const GTXLReaderXercesprivate
readGTXL(string filename, unordered_map< IDType, IDType > *oldRuleIDs=nullptr, unordered_map< IDType, IDType > *oldGraphIDs=nullptr) const overrideGTXLReaderXercesvirtual
readGXL(string filename, unordered_map< IDType, IDType > *oldIDs) const overrideGTXLReaderXercesvirtual
readHypergraph(xercesc::DOMElement *graphroot, unordered_map< IDType, IDType > *oldIDs=nullptr) const GTXLReaderXercesprivate
readQuantMap(xercesc::DOMElement *root, GTXLReaderXerces::QuantMap &quantMap, unordered_map< string, IDType > &idMap) const GTXLReaderXercesprivate
readRule(xercesc::DOMElement *ruleroot, unordered_map< IDType, IDType > *oldIDs=nullptr) const GTXLReaderXercesprivate
RuleTriple typedefGTXLReaderXercesprivate
setWarningsShown(bool show)GTXLReader
showWarningsGTXLReaderprotected
xmlch_attr (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_edge (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_edgeids (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_edgemode (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_elem (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_from (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_graph (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_gts (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_gxl (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_hypergraph (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_id (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_initial (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_int (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_label (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_lhs (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_mapelem (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_mapping (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_name (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_node (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_quantification (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_ref (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_rel (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_relend (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_rhs (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_role (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_rule (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_rulegraph (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_startorder (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_string (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_target (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_text (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_to (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_transformationunit (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_true (defined in GTXLReaderXerces)GTXLReaderXercesprivate
xmlch_type (defined in GTXLReaderXerces)GTXLReaderXercesprivate
~GTXLReader()GTXLReadervirtual
~GTXLReaderXerces()GTXLReaderXercesvirtual