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

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 UQRuleprivate
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 UQRuleprivate
getID() const UQRule
getMainRule()UQRule
getMainRule() const UQRule
getName() const UQRule
getQuantCount() const UQRule
getQuantifications()UQRule
getQuantifications() const UQRule
leftUQVerticesUQRuleprivate
mainRuleUQRuleprivate
Quantification typedefUQRule
quantificationsUQRuleprivate
rightUQVerticesUQRuleprivate
Streamable()Streamableinlineprotected
streamTo(std::ostream &ost) const overrideUQRulevirtual
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()Streamableinlineprotectedvirtual
~UQRule()UQRulevirtual