UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for SubgraphRulePreparer, including all inherited members.
isNoOpRule(graphs::AnonRule const &rule) const override | SubgraphRulePreparer | virtual |
optimize | RulePreparer | protected |
prepareRule(graphs::Rule const &rule, basic_types::CollectionCallback< graphs::Rule_sp > &callback) const override | SubgraphRulePreparer | virtual |
prepareRule(graphs::UQRuleInstance const &rule, basic_types::CollectionCallback< graphs::UQRuleInstance_sp > &callback) const override | SubgraphRulePreparer | virtual |
RulePreparer() | RulePreparer | inlineprotected |
setOptimization(bool opt) | RulePreparer | inline |
SubgraphRulePreparer() | SubgraphRulePreparer | |
willOptimize() const | RulePreparer | inline |
~RulePreparer() | RulePreparer | inlinevirtual |
~SubgraphRulePreparer() | SubgraphRulePreparer | virtual |