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

This is the complete list of members for RulePreparer, including all inherited members.

isNoOpRule(graphs::AnonRule const &rule) const =0RulePreparerpure virtual
optimizeRulePreparerprotected
prepareRule(graphs::Rule const &rule, basic_types::CollectionCallback< graphs::Rule_sp > &callback) const =0RulePreparerpure virtual
prepareRule(graphs::UQRuleInstance const &rule, basic_types::CollectionCallback< graphs::UQRuleInstance_sp > &callback) const =0RulePreparerpure virtual
RulePreparer()RulePreparerinlineprotected
setOptimization(bool opt)RulePreparerinline
willOptimize() const RulePreparerinline
~RulePreparer()RulePreparerinlinevirtual