Uses of Interface
net.ssehub.easy.varModel.cstEvaluation.VariableValueCopier.IFreezeProvider
Packages that use VariableValueCopier.IFreezeProvider
Package
Description
Implements the evaluation of constraint syntax trees.
-
Uses of VariableValueCopier.IFreezeProvider in net.ssehub.easy.varModel.cstEvaluation
Classes in net.ssehub.easy.varModel.cstEvaluation that implement VariableValueCopier.IFreezeProviderModifier and TypeClassDescriptionstatic classA default freeze provider for but-expressions based on attributes of type enum.private static classA freeze provider based on known frozen assignment states.Fields in net.ssehub.easy.varModel.cstEvaluation declared as VariableValueCopier.IFreezeProviderMethods in net.ssehub.easy.varModel.cstEvaluation that return VariableValueCopier.IFreezeProviderModifier and TypeMethodDescriptionVariableValueCopier.CopySpec.getFreezeProvider()The freeze provider.Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type VariableValueCopier.IFreezeProviderModifier and TypeMethodDescriptionprivate ValueVariableValueCopier.copy(IDecisionVariable source, IDecisionVariable target, VariableValueCopier.IFreezeProvider freezeProvider) Copies the value ofsourcevariable to targetvariable.private ValueVariableValueCopier.copySingleVariable(IDecisionVariable source, IDecisionVariable target, VariableValueCopier.IFreezeProvider freezeProvider, boolean adding) Copies a single variable fromsourceto target and ensures in case of a reference target that a respective variable is created.private voidVariableValueCopier.doFreeze(VariableValueCopier.IFreezeProvider freezeProvider, Configuration cfg, IDecisionVariable var, IFreezable freezable) Tries to freezefreezable.Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type VariableValueCopier.IFreezeProviderModifierConstructorDescriptionCopySpec(Compound type, String sourceVariableName, VariableValueCopier.IFreezeProvider freezeProvider, String... targetVariableNames) Creates a copy specification.