Uses of Interface
net.ssehub.easy.varModel.confModel.IDecisionVariable

Packages that use IDecisionVariable

Package	Description
net.ssehub.easy.varModel.confModel	This package represents a specific variability model configuration.
net.ssehub.easy.varModel.confModel.paths	Support for deferred resolution paths.
net.ssehub.easy.varModel.cst	Package for elements of the constraint syntax tree.
net.ssehub.easy.varModel.cstEvaluation	Implements the evaluation of constraint syntax trees.
net.ssehub.easy.varModel.model.filter	This package contains utility classes for filtering the model for specific model elements.
net.ssehub.easy.varModel.model.filter.mandatoryVars	Filter for finding mandatory declarations.
net.ssehub.easy.varModel.model.rewrite	Classes for creating an (adapted) copy of the Project.
net.ssehub.easy.varModel.model.rewrite.modifier	Modifier for the ProjectRewriteVisitor.

Uses of IDecisionVariable in net.ssehub.easy.varModel.confModel

Classes in net.ssehub.easy.varModel.confModel that implement IDecisionVariable

Modifier and Type	Class	Description
(package private) class	BasisVariable	Class for variables which do not bear nested variables.
class	CompoundVariable	Class for variables of Compounds.
class	ContainerVariable	VariableConfigProvider for nested variables of a ContainerVariable.
(package private) class	DecisionVariable	Implements a decision variable representing a specific decision.
class	SequenceVariable	Decision variable for Sequencess.
class	SetVariable	Decision variable for Sets.
(package private) class	StructuredVariable	Abstract super class for variables of StructuredDatatype's.

Fields in net.ssehub.easy.varModel.confModel declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable[]	DecisionVariable.attributes
private IDecisionVariable	ToplevelVarConfigProvider.relatedVariable
private IDecisionVariable	VariableCreator.variable

Fields in net.ssehub.easy.varModel.confModel with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private Map<IDatatype,Map<IDecisionVariable,ReferenceValue>>	Configuration.allInstances
private Map<AbstractVariable,IDecisionVariable>	CompoundValueSetter.decisions
private LinkedHashMap<AbstractVariable,IDecisionVariable>	Configuration.decisions
private Map<IDatatype,List<IDecisionVariable>>	AssignmentResolver.instancesPerType	Temporary list of all instances per data type.
private Map<String,IDecisionVariable>	CompoundVariable.nestedElements
private List<IDecisionVariable>	ContainerVariable.nestedElements
private List<IDecisionVariable>	AssignmentResolver.AssignBlockVisitor.parents
private Map<String,IDecisionVariable>	DecisionVariable.InitializationAnnotationVisitor.tmp
private Stack<IDecisionVariable>	DefaultValueHelper.variables

Methods in net.ssehub.easy.varModel.confModel that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	ContainerVariable.addNestedElement()	Adds a new nested element to this variable.
IDecisionVariable	ContainerVariable.addNestedElement(IDatatype type)	Adds a new nested element to this variable.
IDecisionVariable	Configuration.createDecision(AbstractVariable decl)	Creates a visible decision in this configuration.
private IDecisionVariable	Configuration.createDecision(AbstractVariable decl, boolean visible)	Creates a decision in this configuration.
private IDecisionVariable	CompoundVariable.createNestedElement(AbstractVariable decl, boolean isVisible, boolean isAttribute, boolean force)	Creates a nested element due to its declaration and registers it.
static IDecisionVariable	Configuration.dereference(IDecisionVariable var)	Dereferences a variable.
static IDecisionVariable	Configuration.findInParents(IDecisionVariable var, String name)	Finds a variable called name in the decision variable parents of var, starting at the direct parent of var, thus, returning the variable with name of the closest enclosing scope.
IDecisionVariable	DecisionVariable.getAttribute(int index)	Returns a specific attribute.
IDecisionVariable	IDecisionVariable.getAttribute(int index)	Returns a specific attribute.
IDecisionVariable	Configuration.getDecision(String varName, boolean dereference)	Returns the decision variable for a potentially nested/qualified name from this configuration.
private IDecisionVariable	Configuration.getDecision(IDecisionVariable var, String varName, boolean dereference)	Returns the decision variable for a potentially nested/qualified name from this configuration using with var as current search context.
IDecisionVariable	Configuration.getDecision(AbstractVariable declaration)
IDecisionVariable	IConfiguration.getDecision(AbstractVariable declaration)	Returns the specified IDecisionVariable.
IDecisionVariable	BasisVariable.getNestedElement(int index)
IDecisionVariable	CompoundVariable.getNestedElement(int index)
IDecisionVariable	CompoundVariable.getNestedElement(String name)
static IDecisionVariable	Configuration.getNestedElement(IDecisionVariable base, String name)	Returns an element for base specified by its name.
IDecisionVariable	ContainerVariable.getNestedElement(int index)
IDecisionVariable	DecisionVariable.getNestedElement(String name)
IDecisionVariable	IDecisionVariable.getNestedElement(int index)	Returns the element specified by index.
IDecisionVariable	IDecisionVariable.getNestedElement(String name)	Returns an element specified by its name.
IDecisionVariable	CompoundVariable.getNestedVariable(String slotName)	Returns a nested IDecisionVariable.
static IDecisionVariable	Configuration.getTopLevelDecision(IDecisionVariable var)	Returns the top-level decision variable of var.
IDecisionVariable	VariableCreator.getVariable()	Returns the created variable.
(package private) IDecisionVariable	VariableCreator.getVariable(boolean setDefaultValue)	Return the IDecisionVariable as in VariableCreator.getVariable().
static IDecisionVariable	Configuration.mapVariable(IDecisionVariable var, Configuration cfg)	Maps a variable to its configuration following nested elements up and down.
IDecisionVariable	ICollectionElementVariable.resolve(IConfiguration config)	Resolves the element variable to a decision variable.

Methods in net.ssehub.easy.varModel.confModel that return types with arguments of type IDecisionVariable

Modifier and Type	Method	Description
static List<IDecisionVariable>	ConfigQuery.collectVariablesByType(Configuration config, IDatatype type, boolean onlyToplevel)	Gathers all IDecisionVariables of the given Configuration, which match the specified type.
(package private) Map<AbstractVariable,IDecisionVariable>	Configuration.getConfiguredDecisions()	Returns the saved (AbstractVariable, IDecisionVariable) mapping.
protected List<IDecisionVariable>	AssignmentResolver.getInstancesForType(IDatatype type)	Returns a list of all (nested) IDecisionVariables for the given type.
Iterator<IDecisionVariable>	Configuration.iterator()	Returns an iterator for iterating over all stored IDecisionVariables.

Methods in net.ssehub.easy.varModel.confModel with parameters of type IDecisionVariable

Modifier and Type	Method	Description
private void	Configuration.addDecision(IDecisionVariable variable)	Adda a decision.
(package private) void	ContainerVariable.addNestedElement(IDecisionVariable var)	Adds a nested IDecisionVariable to this ContainerVariable.
private static void	ConfigQuery.addVariableByType(IDecisionVariable variable, IDatatype type, boolean onlyToplevel, List<IDecisionVariable> variables)	Recursive part of ConfigQuery.collectVariablesByType(Configuration, IDatatype, boolean), which searches for (nested) variables.
private void	Configuration.allInstancesVariableChanged(IDecisionVariable var)	Changes the all instance cache if var or one of its nested elements changed.
private void	AssignmentResolver.AssignBlockVisitor.assignAnnotationValuesToVariable(IDecisionVariable variable)	Part of AssignmentResolver.AssignBlockVisitor.visitDecisionVariableDeclaration(DecisionVariableDeclaration): Assigns all gathered annotation values to the given IDecisionVariable.
private void	DefaultValueHelper.assignDefaultValue(IDecisionVariable var)	Assigns default value(s) to the given variable var.
private static Value	AssignmentResolver.augmentValue(Value value, IDecisionVariable variable, EvaluationVisitor evaluator, IConfiguration config, AssignmentResolver conflictHandler)	If a value of a refined compound shall the first time be assigned to a variable of a super compound (polymorphic values), then also the default values of the refined compounds shall be taken into account and augment the value.
private void	Configuration.collectAllInstances(IDecisionVariable var, IDatatype type, Map<IDatatype,Reference> referenceTypes, Map<IDecisionVariable,ReferenceValue> instances)	Collects all instances of type starting at var and stores results into referenceTypes and instances.
protected ConstraintSyntaxTree	ConfigurationSaver.createAssignmentConstraint(Project dstProject, AbstractVariable decl, IDecisionVariable var, Value value)	Creates an assignment constraint.
(package private) static VariableConfigProvider	VariableConfigProviderFactory.createDelegate(IDecisionVariable relatedVariable)	Returns the correct VariableConfigProvider depending on the related IDecisionVariable.
static IDecisionVariable	Configuration.dereference(IDecisionVariable var)	Dereferences a variable.
protected ConstraintSyntaxTree	ConfigurationSaver.deriveOperand(AbstractVariable decl, IDecisionVariable var)	Derives the operand expression for turning a configuration into a project.
boolean	DisplayNameProvider.enableNullValueInConfiguration(IDecisionVariable variable)	Returns whether IMVL null values shall be visible in the configuration editor.
static boolean	Configuration.equalsByInstanceName(IDecisionVariable var1, IDecisionVariable var2)	Returns whether two decision variables are equal via their instance name.
static void	DefaultValueHelper.fillDefaults(IDecisionVariable variable)	Fills the value of the given variable with defined default values.
static IDecisionVariable	Configuration.findInParents(IDecisionVariable var, String name)	Finds a variable called name in the decision variable parents of var, starting at the direct parent of var, thus, returning the variable with name of the closest enclosing scope.
private void	AssignmentResolver.findInstancesOfNestedVariavbles(IDecisionVariable variable)	Recursive method to collect all nested IDecisionVariable.
private IDecisionVariable	Configuration.getDecision(IDecisionVariable var, String varName, boolean dereference)	Returns the decision variable for a potentially nested/qualified name from this configuration using with var as current search context.
String	DisplayNameProvider.getDisplayName(IDecisionVariable variable)	Returns the display name of a variable.
static String	Configuration.getInstanceName(IDecisionVariable var)	Returns the instance name of a decision variable.
static String	Configuration.getInstanceName(IDecisionVariable var, boolean qualified)	Returns the instance name of a decision variable.
static IDecisionVariable	Configuration.getNestedElement(IDecisionVariable base, String name)	Returns an element for base specified by its name.
String	DisplayNameProvider.getNullName(IDecisionVariable variable)	Returns the name to be used for an IVML null value, possibly dependent on the given variable.
protected IResolutionPathElement	CompoundVariable.getPathForNestedElement(IDecisionVariable nested)	Returns the resolution path for a nested element.
protected IResolutionPathElement	DecisionVariable.getPathForNestedElement(IDecisionVariable nested)	Returns the resolution path for a nested element.
static IDecisionVariable	Configuration.getTopLevelDecision(IDecisionVariable var)	Returns the top-level decision variable of var.
int	ContainerVariable.indexOf(IDecisionVariable var)	Returns the 0-based index of var in this container.
void	DefaultValueHelper.initialize(IDecisionVariable variable)	Initializes this instance.
protected boolean	ConfigurationSaver.isSavingEnabled(Project destProject, IDecisionVariable var)	Returns whether saving this variable (for the destination project destProject) is enabled.
void	IConfigurationChangeListener.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)	Notification that a DecisionVariable changed inside the Configuration.
static IDecisionVariable	Configuration.mapVariable(IDecisionVariable var, Configuration cfg)	Maps a variable to its configuration following nested elements up and down.
private static void	Configuration.printVariable(PrintStream out, IDecisionVariable var, String indent)	Prints a variable to out.
private int	ConfigurationSaver.processAssignment(Project confProject, StringBuilder errors, AbstractVariable decl, IDecisionVariable var, Value value)	Processes an assignment.
boolean	Configuration.removeDecision(IDecisionVariable variable)	Remove a specific decision.
private void	Configuration.removeFromAllInstances(IDecisionVariable variable)	Removes variable from all instances.
boolean	ContainerVariable.removeNestedElement(IDecisionVariable var)	Removes a (configured) element (IDecisionVariable) of this ContainerVariable.
static boolean	AssignmentResolver.resolveDefaultValue(IDecisionVariable variable)	Resolves default values of a particular variable.
static boolean	AssignmentResolver.resolveDefaultValue(IDecisionVariable variable, EvaluationVisitor evaluator)	Resolves default values of a particular variable.
boolean	ConfigurationInitializerRegistry.IConfigurationInitializer.resolveDefaultValue(IDecisionVariable variable)	Resolves default values of a particular variable.
protected boolean	AssignmentResolver.resolveDefaultValueForDeclaration(AbstractVariable decl, IDecisionVariable variable)	Resolves default values of a particular declaration.
protected static boolean	AssignmentResolver.resolveDefaultValueForDeclaration(AbstractVariable decl, IDecisionVariable variable, EvaluationVisitor evaluator, IConfiguration config, AssignmentResolver conflictHandler)	Resolves default values of a particular declaration.
boolean	AllFreezeSelector.shallFreeze(IDecisionVariable variable)
boolean	IFreezeSelector.shallFreeze(IDecisionVariable variable)	Returns whether variable shall be frozen.
boolean	NoFreezeSelector.shallFreeze(IDecisionVariable variable)
protected abstract void	AbstractConfigurationStatisticsVisitor.specialTreatment(IDecisionVariable variable)	Optional hook to realize additional statistics for (nested) variables.
protected void	DefaultConfigurationStatisticsVisitor.specialTreatment(IDecisionVariable variable)
void	IConfigurationChangeListener.stateChanged(Configuration config, IDecisionVariable changedVariable)	Notification that the state of a DecisionVariable has been changed inside the Configuration.
static ConstraintSyntaxTree	ConfigQuery.toCST(IDecisionVariable variable)	Converts an IDecisionVariable of the configuration to a Variable expression, so that it can be used for a value assignment, e.g.
protected Value	ConfigurationSaver.toSaveableValue(IDecisionVariable var, Value value)	This method escapes special characters for saving them into a file.
private void	Configuration.unfreezeVariable(IDecisionVariable variable, IAssignmentState state)	Unfreezes a variable and all its nested elements (if such exist).
(package private) void	Configuration.variableChanged(IDecisionVariable var, Value oldValue)	Notifies all registered IConfigurationChangeListeners that a IDecisionVariable changed.
(package private) void	Configuration.variableChangedState(IDecisionVariable var)	Notifies all registered IConfigurationChangeListeners that a IDecisionVariable has changed its state.
void	AbstractConfigurationStatisticsVisitor.visitDecisionVariable(IDecisionVariable variable)
void	IConfigurationVisitor.visitDecisionVariable(IDecisionVariable variable)	Visits a decision variable.
void	AbstractConfigurationStatisticsVisitor.visitVariable(IDecisionVariable variable, boolean nestedInContainer)	Recursive part to visit all (nested) variables.

Method parameters in net.ssehub.easy.varModel.confModel with type arguments of type IDecisionVariable

Modifier and Type	Method	Description
private static void	ConfigQuery.addVariableByType(IDecisionVariable variable, IDatatype type, boolean onlyToplevel, List<IDecisionVariable> variables)	Recursive part of ConfigQuery.collectVariablesByType(Configuration, IDatatype, boolean), which searches for (nested) variables.
private void	AssignmentResolver.resolveAnnotationAssignments(AttributeAssignment assignBlock, Map<String,Value> annotationAssignments, List<IDecisionVariable> parents)	Recursive method for resolving annotation assignments (part of AssignmentResolver.resolveAnnotationAssignments(Project).

Constructors in net.ssehub.easy.varModel.confModel with parameters of type IDecisionVariable

Modifier	Constructor	Description
	DefaultValueHelper(IDecisionVariable variable)	Creates an initialized default value helper by calling DefaultValueHelper.initialize(IDecisionVariable).
protected	ToplevelVarConfigProvider(IDecisionVariable relatedVariable, Value value, IAssignmentState state)	Sole constructor for creating a VariableConfigProvider for a toplevel IDecisionVariable.

Constructor parameters in net.ssehub.easy.varModel.confModel with type arguments of type IDecisionVariable

Modifier	Constructor	Description
private	AssignBlockVisitor(Map<String,Value> annotationAssignments, List<IDecisionVariable> parents)	Sole constructor of this class.
	CompoundValueSetter(OCLFeatureCall ocl, Map<AbstractVariable,IDecisionVariable> decisions)	Sole constructor for this class.

Uses of IDecisionVariable in net.ssehub.easy.varModel.confModel.paths

Methods in net.ssehub.easy.varModel.confModel.paths that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	IndexAccessPathElement.resolve(IConfiguration config)
IDecisionVariable	IResolutionPathElement.resolve(IConfiguration config)	Resolves this path for config.
IDecisionVariable	NameAccessPathElement.resolve(IConfiguration config)
IDecisionVariable	StartPathElement.resolve(IConfiguration config)

Uses of IDecisionVariable in net.ssehub.easy.varModel.cst

Fields in net.ssehub.easy.varModel.cst declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	ResolvedVariable.resolved

Methods in net.ssehub.easy.varModel.cst that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	ResolvedVariable.getResolved()
IDecisionVariable	Variable.getResolved()	Returns the resolved decision variable.

Constructors in net.ssehub.easy.varModel.cst with parameters of type IDecisionVariable

Modifier	Constructor	Description
	ResolvedVariable(IDecisionVariable resolved)	Creates a resolved variable.

Uses of IDecisionVariable in net.ssehub.easy.varModel.cstEvaluation

Classes in net.ssehub.easy.varModel.cstEvaluation that implement IDecisionVariable

Modifier and Type	Class	Description
class	LocalDecisionVariable	A local decision variable representing a parameter or a local variable.

Fields in net.ssehub.easy.varModel.cstEvaluation declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	EvaluationVisitor.ContainerIterationExecutor.containerVariable
private IDecisionVariable	ContainerElementAccessor.elementVariable
private IDecisionVariable	LocalDecisionVariable.parent
private IDecisionVariable	CompoundSlotAccessor.slotVariable
private IDecisionVariable	VariableValueCopier.SourceBasedFreezeProvider.source
private IDecisionVariable	VariableValueCopier.SourceBasedFreezeProvider.target
private IDecisionVariable	EvaluationVisitor.Message.var
private IDecisionVariable	AbstractDecisionVariableEvaluationAccessor.variable

Fields in net.ssehub.easy.varModel.cstEvaluation with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private Map<AbstractVariable,IDecisionVariable>	LocalConfiguration.map
private List<IDecisionVariable>	EvaluationAccessor.nestedElements
private Map<AbstractVariable,IDecisionVariable>	EvaluationVisitor.varMapping

Methods in net.ssehub.easy.varModel.cstEvaluation that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	LocalConfiguration.addDecision(IDecisionVariable decision)	Adds a (local) decision to this configuration.
(package private) static IDecisionVariable	VariableValueCopier.copy(IDecisionVariable variable, String namePrefix)	Copies the given variable.
protected IDecisionVariable	EvaluationAccessor.dereferenceIfNeeded(IDecisionVariable variable, Value value)	Dereferences variable if of reference type and value is not of reference type.
(package private) static IDecisionVariable	EvaluationUtils.findAttribute(IDecisionVariable var, AbstractVariable decl, boolean byName)	Finds an attribute decision variable for the given decision variable and attribute declaration.
private IDecisionVariable	VariableValueCopier.SourceBasedFreezeProvider.findCorrespondence(IDecisionVariable tVar)	Finds the corresponding variable for tVar (assumed to be within the nesting hierarchy of VariableValueCopier.SourceBasedFreezeProvider.target) within the nesting hierarchy of VariableValueCopier.SourceBasedFreezeProvider.source.
static IDecisionVariable	VariableValueCopier.findVariable(IDecisionVariable base, String qname)	Finds a variable via its (qualified access) name.
IDecisionVariable	LocalDecisionVariable.getAttribute(int index)
IDecisionVariable	EvaluationAccessor.getBoundContainerElement(int index)	Returns a container element.
IDecisionVariable	EvaluationVisitor.EvaluationContextImpl.getDecision(AbstractVariable variable)
IDecisionVariable	EvaluationVisitor.Message.getDecision()	Returns the causing decision variable.
IDecisionVariable	LocalConfiguration.getDecision(AbstractVariable declaration)
IDecisionVariable	LocalDecisionVariable.getNestedElement(int index)
IDecisionVariable	LocalDecisionVariable.getNestedElement(String name)
IDecisionVariable	LocalDecisionVariable.getNestedVariable(String slotName)	Returns the nested variable for the given slot name.
IDecisionVariable	EvaluationVisitor.getResultVariable()	Returns the result variable.
IDecisionVariable	AbstractDecisionVariableEvaluationAccessor.getVariable()
IDecisionVariable	CompoundSlotAccessor.getVariable()
IDecisionVariable	ConstantAccessor.getVariable()
abstract IDecisionVariable	EvaluationAccessor.getVariable()	Returns the underlying variable.
IDecisionVariable	LocalDecisionVariable.getVariable()	Returns the underlying variable.
IDecisionVariable	CollectionElementVariable.resolve(IConfiguration config)

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

Modifier and Type	Method	Description
void	EvaluationAccessor.addBoundContainerElement(IDecisionVariable element)	Adds element to the bound container elements.
IDecisionVariable	LocalConfiguration.addDecision(IDecisionVariable decision)	Adds a (local) decision to this configuration.
void	EvaluationContext.addErrorMessage(String message, IDecisionVariable variable, int code)	Adds an evaluation error message.
(package private) void	EvaluationVisitor.addMapping(AbstractVariable decl, IDecisionVariable var)	Adds an explicit mapping of a declaration to a decision variable taking precedence over the configuration.
protected AbstractDecisionVariableEvaluationAccessor	AbstractDecisionVariableEvaluationAccessor.bind(IDecisionVariable variable, EvaluationContext context)	Binds this accessor.
CompoundSlotAccessor	CompoundSlotAccessor.bind(IDecisionVariable variable, String slotName, EvaluationContext context)	Binds the accessor to the given variable and context.
ContainerElementAccessor	ContainerElementAccessor.bind(IDecisionVariable variable, int index, EvaluationContext context)	Binds the accessor to the given variable and context.
protected IndexAccessor	IndexAccessor.bind(IDecisionVariable variable, EvaluationContext context, int index)	Binds this accessor.
VariableAccessor	VariableAccessor.bind(IDecisionVariable variable, EvaluationContext context)	Binds the accessor to the given (non-local) variable and context.
VariableAccessor	VariableAccessor.bind(IDecisionVariable variable, EvaluationContext context, boolean isLocal)	Binds the accessor to the given (local or non-local) variable and context.
void	EvaluationAccessor.bindContainer(IDecisionVariable container)	Binds a container as provider for nested variables against this accessor in order to carry information about the underlying variables as long as possible through the evaluation.
(package private) static IDecisionVariable	VariableValueCopier.copy(IDecisionVariable variable, String namePrefix)	Copies the given variable.
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.
protected IDecisionVariable	EvaluationAccessor.dereferenceIfNeeded(IDecisionVariable variable, Value value)	Dereferences variable if of reference type and value is not of reference type.
private void	VariableValueCopier.doFreeze(VariableValueCopier.IFreezeProvider freezeProvider, Configuration cfg, IDecisionVariable var, IFreezable freezable)	Tries to freeze freezable.
private void	ContextStack.ensureCapacity(IDecisionVariable var, ContextStack.StackFrame frame)	Ensures the capacity of a container variable.
private boolean	EvaluationVisitor.ContainerIterationExecutor.evaluateIterator(int iter, Value iterVal, IDecisionVariable iterVar, int maxIter, boolean setSelf, EvaluationAccessor rVar)	Evaluates an iterator.
(package private) static IDecisionVariable	EvaluationUtils.findAttribute(IDecisionVariable var, AbstractVariable decl, boolean byName)	Finds an attribute decision variable for the given decision variable and attribute declaration.
private IDecisionVariable	VariableValueCopier.SourceBasedFreezeProvider.findCorrespondence(IDecisionVariable tVar)	Finds the corresponding variable for tVar (assumed to be within the nesting hierarchy of VariableValueCopier.SourceBasedFreezeProvider.target) within the nesting hierarchy of VariableValueCopier.SourceBasedFreezeProvider.source.
static IDecisionVariable	VariableValueCopier.findVariable(IDecisionVariable base, String qname)	Finds a variable via its (qualified access) name.
abstract IAssignmentState	EvaluationContext.getTargetState(IDecisionVariable variable)	Returns the target state of the evaluation for variable.
IAssignmentState	EvaluationVisitor.EvaluationContextImpl.getTargetState(IDecisionVariable var)
protected IAssignmentState	EvaluationVisitor.getTargetState(IDecisionVariable var)	Returns the target state for a variable which is actually being assigned.
Value	IEvaluationInterceptor.getValue(IDecisionVariable var)
private void	VariableValueCopier.handleFurther(IDecisionVariable base, String[] names, Value value)	Assigns value to the further variables on base given in names at index positions larger than 0.
void	VariableValueCopier.IAssignmentListener.notifyAssigned(IDecisionVariable target, Value value, boolean added)	Notifies about assigned values.
private void	VariableValueCopier.notifyAssigned(IDecisionVariable target, Value value, boolean added)	Notifies about assigned values.
void	IValueChangeListener.notifyChanged(IDecisionVariable variable, Value oldValue, IAssignmentState oldState, IValueChangeListener.ChangeKind kind)	Called if the value of a variable has been modified.
abstract void	EvaluationContext.notifyChangeListener(IDecisionVariable variable, Value oldValue, IAssignmentState oldState, IValueChangeListener.ChangeKind kind)	Notifies the change listener, i.e., the value of variable has changed.
void	EvaluationVisitor.EvaluationContextImpl.notifyChangeListener(IDecisionVariable variable, Value value, IAssignmentState oldState, IValueChangeListener.ChangeKind kind)
void	VariableValueCopier.IAssignmentListener.notifyCreated(IDecisionVariable origin, IDecisionVariable target)	Notifies the listener about a new variable created for a given origin variable.
private void	VariableValueCopier.notifyCreated(IDecisionVariable origin, IDecisionVariable target)	Notifies the listener about a new variable created for a given origin variable.
void	IResolutionListener.notifyResolved(IDecisionVariable compound, String slotName, IDecisionVariable resolved)	Is called to notify about the resolution of the compound slot slotName in compound to var.
void	IResolutionListener.notifyResolved(AbstractVariable declaration, IDecisionVariable resolved)	Is called to notify about the resolution of the declaration decl to the actual variable var.
void	IValueChangeListener.notifyUnresolved(IDecisionVariable variable)	Called if an assignment to the given variable failed as the defining expression cannot be evaluated, e.g., due to an undefined variable.
private void	VariableValueCopier.process(IDecisionVariable variable, IDecisionVariable base, String prefix, Map<String,VariableValueCopier.CopySpec> fieldSpecs, Set<IDecisionVariable> done)	Processes a decision variable.
boolean	IEvaluationInterceptor.setValue(IDecisionVariable var, Value val, boolean asAssignment, EvaluationAccessor acc)
void	LocalDecisionVariable.setVariable(IDecisionVariable variable)	Changes the underlying variable taking precedence over the stored value.
boolean	FreezeEvaluator.shallFreeze(IDecisionVariable variable)
boolean	VariableValueCopier.SourceBasedFreezeProvider.shallFreeze(IDecisionVariable variable)

Method parameters in net.ssehub.easy.varModel.cstEvaluation with type arguments of type IDecisionVariable

Modifier and Type	Method	Description
private void	VariableValueCopier.process(IDecisionVariable variable, IDecisionVariable base, String prefix, Map<String,VariableValueCopier.CopySpec> fieldSpecs, Set<IDecisionVariable> done)	Processes a decision variable.

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

Modifier	Constructor	Description
	LocalDecisionVariable(DecisionVariableDeclaration decl, IConfiguration conf, IDecisionVariable parent)	Creates a local decision variable.
	Message(String description, net.ssehub.easy.basics.messages.Status status, IDecisionVariable var, int code)	Main constructor.
private	SourceBasedFreezeProvider(IDecisionVariable source, IDecisionVariable target)	Creates a freeze provider based on a given variable pair.

Uses of IDecisionVariable in net.ssehub.easy.varModel.model.filter

Fields in net.ssehub.easy.varModel.model.filter declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	IDecisionVariableInConstraintFinder.lastVariable

Fields in net.ssehub.easy.varModel.model.filter with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private Deque<IDecisionVariable>	IDecisionVariableInConstraintFinder.parents
private Set<IDecisionVariable>	IDecisionVariableInConstraintFinder.variables
private Set<IDecisionVariable>	VariablesInConstraintFinder.variables

Methods in net.ssehub.easy.varModel.model.filter that return types with arguments of type IDecisionVariable

Modifier and Type	Method	Description
Set<IDecisionVariable>	IDecisionVariableInConstraintFinder.getVariables()	Returns all AbstractVariable's inside the given ConstraintSyntaxTree.
Set<IDecisionVariable>	VariablesInConstraintFinder.getVariables()	Returns all IDecisionVariable's inside the given ConstraintSyntaxTree.

Methods in net.ssehub.easy.varModel.model.filter with parameters of type IDecisionVariable

Modifier and Type	Method	Description
protected abstract void	AbstractStateVariablesInConstraintFinder.addVariable(IDecisionVariable var)	Adds the related IDecisionVariable and their state to the result.
protected void	VariablesInConstraintFinder.addVariable(IDecisionVariable var)

Uses of IDecisionVariable in net.ssehub.easy.varModel.model.filter.mandatoryVars

Methods in net.ssehub.easy.varModel.model.filter.mandatoryVars with parameters of type IDecisionVariable

Modifier and Type	Method	Description
boolean	VariableContainer.isMandatory(IDecisionVariable variable)	Checks whether the given IDecisionVariable is mandatory.
(package private) void	VariableContainer.setImportance(IDecisionVariable variable, Importance importance)	Changes the importance of the IDecisionVariable.

Uses of IDecisionVariable in net.ssehub.easy.varModel.model.rewrite

Fields in net.ssehub.easy.varModel.model.rewrite with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private Map<AbstractVariable,Set<IDecisionVariable>>	VariableLookUpTable.instancesPerDeclaration	List of instances for a given declaration.
private Map<IDatatype,Set<IDecisionVariable>>	VariableLookUpTable.instancesPerType	List of instances for a given IDatatype.

Methods in net.ssehub.easy.varModel.model.rewrite that return types with arguments of type IDecisionVariable

Modifier and Type	Method	Description
Set<IDecisionVariable>	RewriteContext.getInstancesForDeclaration(Configuration config, AbstractVariable declaration)	Returns the set of instances of the given AbstractVariable declaration.
(package private) Set<IDecisionVariable>	VariableLookUpTable.getInstancesForDeclaration(AbstractVariable declaration)	Returns the set of instances of the given AbstractVariable declaration.
Set<IDecisionVariable>	RewriteContext.getInstancesForType(Configuration config, IDatatype type)	Returns the set of instances of the given IDatatype.
(package private) Set<IDecisionVariable>	VariableLookUpTable.getInstancesForType(IDatatype type)	Returns the set of instances of the given IDatatype.

Methods in net.ssehub.easy.varModel.model.rewrite with parameters of type IDecisionVariable

Modifier and Type	Method	Description
private void	VariableLookUpTable.addVariable(IDecisionVariable variable, IDatatype type)	Adds an IDecisionVariable to the VariableLookUpTable.instancesPerType.
private void	VariableLookUpTable.init(IDecisionVariable variable)	Recursive part of VariableLookUpTable.init(Configuration).

Uses of IDecisionVariable in net.ssehub.easy.varModel.model.rewrite.modifier

Methods in net.ssehub.easy.varModel.model.rewrite.modifier that return IDecisionVariable

Modifier and Type	Method	Description
protected IDecisionVariable	AbstractFrozenChecker.getVariable(AbstractVariable declaration)	Returns the specified IDecisionVariable.