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

This is the complete list of members for Rule, 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< shared_ptr< AnonRule >, shared_ptr< AnonRule >> &rulePair) const AnonRulevirtual
getID() const Rule
getLeft()AnonRule
getLeft() const AnonRule
getMapping()AnonRule
getMapping() const AnonRule
getName() const AnonRule
getRight()AnonRule
getRight() const AnonRule
IDRuleprotected
interfaceAnonRuleprotected
isBackApplicable(AnonHypergraph const &graph, Mapping const &match) const AnonRulevirtual
isConflictFree(Mapping const &match) const AnonRule
isInjective() const AnonRule
leftAnonRuleprotected
nameAnonRuleprotected
rightAnonRuleprotected
Rule(string name="", AnonHypergraph_sp left=make_shared< AnonHypergraph >(), AnonHypergraph_sp right=make_shared< AnonHypergraph >(), Mapping const &match=Mapping())Rule
Rule(Rule const &oldRule)Rule
Rule(AnonRule const &oldRule)Rule
Rule(AnonHypergraph const &graph)Rule
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 overrideRulevirtual
~AnonRule()AnonRulevirtual
~Rule()Rulevirtual
~Streamable()Streamableinlineprotectedvirtual