Class AllFreezeSelector
java.lang.Object
net.ssehub.easy.varModel.confModel.AllFreezeSelector
- All Implemented Interfaces:
IFreezeSelector
A freeze selector which just freezes all variables.
- 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
-
AllFreezeSelector
private AllFreezeSelector()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
-