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

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

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