UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for UQRule, including all inherited members.
addQuantification(AnonRule const &rule, Mapping const &match) | UQRule | |
addQuantification(Quantification const &quantification) | UQRule | |
checkVertices(AnonHypergraph_csp graph, IDType const &edgeID, Mapping const &vmap, vector< IDType > &vertices) const | UQRule | private |
createInstance(vector< unsigned int > const &quantities, vector< unordered_set< IDType >> *genLeft=nullptr, vector< unordered_set< IDType >> *genRight=nullptr) const | UQRule | |
createOneInstance(vector< unordered_set< IDType >> *genLeft=nullptr, vector< unordered_set< IDType >> *genRight=nullptr) const | UQRule | |
createZeroInstance() const | UQRule | |
extendInstance(UQRuleInstance_csp rule, size_t quantID, vector< unordered_set< IDType >> *genLeft=nullptr, vector< unordered_set< IDType >> *genRight=nullptr) const | UQRule | |
extendRuleByUQ(UQRuleInstance &rule, size_t quantID, vector< unordered_set< IDType >> *genLeft, vector< unordered_set< IDType >> *genRight) const | UQRule | private |
getID() const | UQRule | |
getMainRule() | UQRule | |
getMainRule() const | UQRule | |
getName() const | UQRule | |
getQuantCount() const | UQRule | |
getQuantifications() | UQRule | |
getQuantifications() const | UQRule | |
leftUQVertices | UQRule | private |
mainRule | UQRule | private |
Quantification typedef | UQRule | |
quantifications | UQRule | private |
rightUQVertices | UQRule | private |
Streamable() | Streamable | inlineprotected |
streamTo(std::ostream &ost) const override | UQRule | virtual |
UQRule(Rule const &mainRule) | UQRule | |
UQRule(string name="", AnonHypergraph_sp left=make_shared< AnonHypergraph >(), AnonHypergraph_sp right=make_shared< AnonHypergraph >(), Mapping const &match=Mapping()) | UQRule | |
~Streamable() | Streamable | inlineprotectedvirtual |
~UQRule() | UQRule | virtual |