FreezeEvaluator (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.varModel.cstEvaluation.FreezeEvaluator

All Implemented Interfaces:

IFreezeSelector
```
public class FreezeEvaluator
extends java.lang.Object
implements IFreezeSelector
```
Implements a freeze selector based on expression evaluation.

Author:

Holger Eichelberger

Field Summary

Fields
Modifier and Type Field Description

private EvaluationVisitor eval

private FreezeBlock freeze

Constructor Summary

Constructors
Constructor Description

FreezeEvaluator(Configuration config)
Creates a freeze evaluator for the given configuration.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`setFreeze(FreezeBlock freeze)`	Defines the current freeze block to evaluate.
`boolean`	`shallFreeze(IDecisionVariable variable)`	Returns whether `variable` shall be frozen.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - eval
```
private EvaluationVisitor eval
```
  - freeze
```
private FreezeBlock freeze
```
- Constructor Detail
  - FreezeEvaluator
```
public FreezeEvaluator(Configuration config)
```
    Creates a freeze evaluator for the given configuration.
    
    Parameters:
    
    config - the configuration
- Method Detail
  - setFreeze
```
public void setFreeze(FreezeBlock freeze)
```
    Defines the current freeze block to evaluate.
    
    Parameters:
    
    freeze - the freeze block
  - shallFreeze
```
public boolean shallFreeze(IDecisionVariable variable)
```
    Description copied from interface: IFreezeSelector
    
    Returns whether variable shall be frozen.
    
    Specified by:
    
    shallFreeze in interface IFreezeSelector
    
    Parameters:
    
    variable - the variable to be tested
    
    Returns:
    
    true if variable shall be frozen, false else