Class NoFreezeSelector
java.lang.Object
net.ssehub.easy.varModel.confModel.NoFreezeSelector
- All Implemented Interfaces:
IFreezeSelector
A freeze selector which does not freeze any variable.
- Author:
- Holger Eichelberger
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionbooleanshallFreeze(IDecisionVariable variable) Returns whethervariableshall be frozen.
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
NoFreezeSelector
private NoFreezeSelector()Prevents external creation.
-
-
Method Details
-
shallFreeze
Description copied from interface:IFreezeSelectorReturns whethervariableshall be frozen.- Specified by:
shallFreezein interfaceIFreezeSelector- Parameters:
variable- the variable to be tested- Returns:
trueifvariableshall be frozen,falseelse
-