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