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

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

adjustSplitRule(AnonRule &partial, AnonRule &total) const AnonRuleprotected
AnonRule(string name="", AnonHypergraph_sp left=make_shared< AnonHypergraph >(), AnonHypergraph_sp right=make_shared< AnonHypergraph >(), Mapping const &match=Mapping())AnonRule
AnonRule(AnonRule const &oldRule)AnonRule
AnonRule(AnonHypergraph const &graph)AnonRule
fillSplitRule(pair< AnonRule_sp, AnonRule_sp > &rulePair) const override (defined in UQRuleInstance)UQRuleInstancevirtual
uncover::graphs::AnonRule::fillSplitRule(pair< shared_ptr< AnonRule >, shared_ptr< AnonRule >> &rulePair) const AnonRulevirtual
getLeft()AnonRule
getLeft() const AnonRule
getLeftUQVertices()UQRuleInstance
getLeftUQVertices() const UQRuleInstance
getMapping()AnonRule
getMapping() const AnonRule
getName() const AnonRule
getRight()AnonRule
getRight() const AnonRule
getRightUQVertices()UQRuleInstance
getRightUQVertices() const UQRuleInstance
interfaceAnonRuleprotected
isBackApplicable(AnonHypergraph const &graph, Mapping const &match) const overrideUQRuleInstancevirtual
isConflictFree(Mapping const &match) const AnonRule
isInjective() const AnonRule
leftAnonRuleprotected
leftUQVerticesUQRuleInstanceprotected
nameAnonRuleprotected
rightAnonRuleprotected
rightUQVerticesUQRuleInstanceprotected
setLeft(AnonHypergraph_sp graph)AnonRule
setMapping(Mapping const &map)AnonRule
setName(string name)AnonRule
setRight(AnonHypergraph_sp graph)AnonRule
Streamable()Streamableinlineprotected
streamTo(std::ostream &ost) const overrideAnonRulevirtual
UQRule (defined in UQRuleInstance)UQRuleInstancefriend
UQRuleInstance(AnonRule const &rule, unordered_set< IDType > const &leftUQVertices, unordered_set< IDType > const &rightUQVertices)UQRuleInstance
UQRuleInstance(string name, AnonHypergraph_sp leftGraph, AnonHypergraph_sp rightGraph, Mapping const &mapping, unordered_set< IDType > const &leftUQVertices, unordered_set< IDType > const &rightUQVertices)UQRuleInstance
UQRuleInstance(AnonHypergraph const &graph, unordered_set< IDType > const &uqVertices)UQRuleInstance
~AnonRule()AnonRulevirtual
~Streamable()Streamableinlineprotectedvirtual
~UQRuleInstance()UQRuleInstancevirtual