Uses of Interface
net.ssehub.easy.varModel.cstEvaluation.VariableValueCopier.IFreezeProvider

Packages that use VariableValueCopier.IFreezeProvider

Package	Description
net.ssehub.easy.varModel.cstEvaluation	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.IFreezeProvider

Modifier and Type	Class	Description
static class	VariableValueCopier.EnumAttributeFreezeProvider	A default freeze provider for but-expressions based on attributes of type enum.
private static class	VariableValueCopier.SourceBasedFreezeProvider	A freeze provider based on known frozen assignment states.

Fields in net.ssehub.easy.varModel.cstEvaluation declared as VariableValueCopier.IFreezeProvider

Modifier and Type	Field	Description
private VariableValueCopier.IFreezeProvider	VariableValueCopier.CopySpec.freezeProvider

Methods in net.ssehub.easy.varModel.cstEvaluation that return VariableValueCopier.IFreezeProvider

Modifier and Type	Method	Description
VariableValueCopier.IFreezeProvider	VariableValueCopier.CopySpec.getFreezeProvider()	The freeze provider.

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type VariableValueCopier.IFreezeProvider

Modifier and Type	Method	Description
private Value	VariableValueCopier.copy(IDecisionVariable source, IDecisionVariable target, VariableValueCopier.IFreezeProvider freezeProvider)	Copies the value of source variable to target variable.
private Value	VariableValueCopier.copySingleVariable(IDecisionVariable source, IDecisionVariable target, VariableValueCopier.IFreezeProvider freezeProvider, boolean adding)	Copies a single variable from source to target and ensures in case of a reference target that a respective variable is created.
private void	VariableValueCopier.doFreeze(VariableValueCopier.IFreezeProvider freezeProvider, Configuration cfg, IDecisionVariable var, IFreezable freezable)	Tries to freeze freezable.

Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type VariableValueCopier.IFreezeProvider

Modifier	Constructor	Description
	CopySpec(Compound type, String sourceVariableName, VariableValueCopier.IFreezeProvider freezeProvider, String... targetVariableNames)	Creates a copy specification.