This RulePreparer returns all rules unprepared.
More...
#include <NoRulePreparer.h>
|
bool | optimize |
| Stores whether the rule preparation will be optimized.
|
|
This RulePreparer returns all rules unprepared.
Use this RulePreparer only for testing purposes.
- Author
- Jan Stückrath
Always returns false.
- Parameters
-
rule | this parameter is ignored |
- Returns
- false
Implements RulePreparer.
Generates a copy of the given Rule and sends it to the callback object.
- Parameters
-
rule | the Rule to be prepared |
callback | the callback to which the copy of the given rule will be sent |
Implements RulePreparer.
Generates a copy of the given UQRuleInstance and sends it to the callback object.
- Parameters
-
rule | the UQRuleInstance to be prepared |
callback | the 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
-
opt | true, 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:
- /home/stueckrath/eclipse_ws/Uncover/src/analysis/NoRulePreparer.h
- /home/stueckrath/eclipse_ws/Uncover/src/analysis/NoRulePreparer.cpp