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