UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Protected Attributes | List of all members
NoRulePreparer Class Reference

This RulePreparer returns all rules unprepared. More...

#include <NoRulePreparer.h>

Inheritance diagram for NoRulePreparer:
Inheritance graph
[legend]
Collaboration diagram for NoRulePreparer:
Collaboration graph
[legend]

Public Member Functions

 NoRulePreparer ()
 Generates a new NoRulePreparer.
 
virtual ~NoRulePreparer ()
 Destroys this NoRulePreparer.
 
virtual void prepareRule (graphs::Rule const &rule, basic_types::CollectionCallback< graphs::Rule_sp > &callback) const override
 Generates a copy of the given Rule and sends it to the callback object. More...
 
virtual void prepareRule (graphs::UQRuleInstance const &rule, basic_types::CollectionCallback< graphs::UQRuleInstance_sp > &callback) const override
 Generates a copy of the given UQRuleInstance and sends it to the callback object. More...
 
virtual bool isNoOpRule (graphs::AnonRule const &rule) const override
 Always returns false. More...
 
void setOptimization (bool opt)
 Sets whether the rule preparation will be optimized, i.e. More...
 
bool willOptimize () const
 Returns whether the rule preparation will be optimized, i.e. More...
 

Protected Attributes

bool optimize
 Stores whether the rule preparation will be optimized.
 

Detailed Description

This RulePreparer returns all rules unprepared.

Use this RulePreparer only for testing purposes.

Author
Jan Stückrath

Member Function Documentation

bool isNoOpRule ( graphs::AnonRule const &  rule) const
overridevirtual

Always returns false.

Parameters
rulethis parameter is ignored
Returns
false

Implements RulePreparer.

void prepareRule ( graphs::Rule const &  rule,
basic_types::CollectionCallback< graphs::Rule_sp > &  callback 
) const
overridevirtual

Generates a copy of the given Rule and sends it to the callback object.

Parameters
rulethe Rule to be prepared
callbackthe callback to which the copy of the given rule will be sent

Implements RulePreparer.

void prepareRule ( graphs::UQRuleInstance const &  rule,
basic_types::CollectionCallback< graphs::UQRuleInstance_sp > &  callback 
) const
overridevirtual

Generates a copy of the given UQRuleInstance and sends it to the callback object.

Parameters
rulethe UQRuleInstance to be prepared
callbackthe callback to which the copy of the given rule will be sent

Implements RulePreparer.

void setOptimization ( bool  opt)
inlineinherited

Sets whether the rule preparation will be optimized, i.e.

the number of produced rules will be minimized.

Parameters
opttrue, iff the rule preparation should be optimized
bool willOptimize ( ) const
inlineinherited

Returns whether the rule preparation will be optimized, i.e.

the number if produced ruless will be minimized.

Returns
true, iff the rule preparation will be optimized

The documentation for this class was generated from the following files: