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

This is the complete list of members for AnonRule, 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
getLeft()AnonRule
getLeft() const AnonRule
getMapping()AnonRule
getMapping() const AnonRule
getName() const AnonRule
getRight()AnonRule
getRight() const AnonRule
interfaceAnonRuleprotected
isBackApplicable(AnonHypergraph const &graph, Mapping const &match) const AnonRulevirtual
isConflictFree(Mapping const &match) const AnonRule
isInjective() const AnonRule
leftAnonRuleprotected
nameAnonRuleprotected
rightAnonRuleprotected
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
~AnonRule()AnonRulevirtual
~Streamable()Streamableinlineprotectedvirtual