Uses of Interface net.ssehub.easy.varModel.cstEvaluation.VariableValueCopier.IFreezeProvider (EASy-Producer Documentation API)

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
Constructor	Description
`CopySpec(Compound type, java.lang.String sourceVariableName, VariableValueCopier.IFreezeProvider freezeProvider, java.lang.String... targetVariableNames)`	Creates a copy specification.