UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for Rule, including all inherited members.
adjustSplitRule(AnonRule &partial, AnonRule &total) const | AnonRule | protected |
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 | AnonRule | virtual |
getID() const | Rule | |
getLeft() | AnonRule | |
getLeft() const | AnonRule | |
getMapping() | AnonRule | |
getMapping() const | AnonRule | |
getName() const | AnonRule | |
getRight() | AnonRule | |
getRight() const | AnonRule | |
ID | Rule | protected |
interface | AnonRule | protected |
isBackApplicable(AnonHypergraph const &graph, Mapping const &match) const | AnonRule | virtual |
isConflictFree(Mapping const &match) const | AnonRule | |
isInjective() const | AnonRule | |
left | AnonRule | protected |
name | AnonRule | protected |
right | AnonRule | protected |
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() | Streamable | inlineprotected |
streamTo(std::ostream &ost) const override | Rule | virtual |
~AnonRule() | AnonRule | virtual |
~Rule() | Rule | virtual |
~Streamable() | Streamable | inlineprotectedvirtual |