Package net.ssehub.easy.varModel.cstEvaluation

Class FreezeEvaluator

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.FreezeEvaluator

All Implemented Interfaces:

IFreezeSelector

public class FreezeEvaluator
extends 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

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

Methods inherited from interface net.ssehub.easy.varModel.confModel.IFreezeSelector

shallFreezeAnnotations

Field Details

eval

private EvaluationVisitor eval

freeze

private FreezeBlock freeze

Constructor Details

FreezeEvaluator

public FreezeEvaluator(Configuration config)

Creates a freeze evaluator for the given configuration.

Parameters:

config - the configuration

Method Details

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