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

Packages that use IDecisionVariable

Package	Description
net.ssehub.easy.instantiation.core.model.vilTypes.configuration	All classes related to the EASy integration of configuration and decisions.
net.ssehub.easy.instantiation.velocity	This package contains the VIL instantiator realization of Apache's Velocity. For more information please visit the Velocity project page.
net.ssehub.easy.integration.common.impl	Defines the a readable interface to IVML/EAsY.
net.ssehub.easy.producer.ui.confModel	This package holds a GUI representation of the configuration with methods and additional information as needed by the Eclipse UI.
net.ssehub.easy.producer.ui.productline_editor	This package contains the editor for configuring the product line.
net.ssehub.easy.producer.ui.productline_editor.configuration	This package holds classes for the configuration editor and super classes for similar configuration editors.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
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.instantiation.core.model.vilTypes.configuration

Classes in net.ssehub.easy.instantiation.core.model.vilTypes.configuration that implement IDecisionVariable

Modifier and Type	Class	Description
private static class	AbstractIvmlVariable.DecVar	Implements a dynamic mapping of nested (container) values to temporary decision variables.

Fields in net.ssehub.easy.instantiation.core.model.vilTypes.configuration declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable[]	AbstractIvmlVariable.DecVar.nested
protected IDecisionVariable	AbstractIvmlVariable.origVariable
private IDecisionVariable	AbstractIvmlVariable.DecVar.parent
protected IDecisionVariable	AbstractIvmlVariable.variable

Fields in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private java.util.Set<IDecisionVariable>	SetVariablesFilter.enabled
private java.util.Set<IDecisionVariable>	ConfigurationContextResolver.HashFilter.filterMap
private java.util.List<IDecisionVariable>	ConfigurationContextResolver.ResolutionList.list
private java.util.Map<IDecisionVariable,Value>	ChangeHistory.originalValues
private java.util.Set<IDecisionVariable>	ConfigurationContextResolver.ResolutionList.set

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	ConfigurationContextResolver.ResolutionList.get(int index)	Returns the variable at the specified position.
IDecisionVariable	AbstractIvmlVariable.DecVar.getAttribute(int index)
IDecisionVariable	AbstractIvmlVariable.getDecisionVariable()	Return the underlying decision variable for internal purpose, such as velocity.
IDecisionVariable	AbstractIvmlVariable.DecVar.getNestedElement(int index)
IDecisionVariable	AbstractIvmlVariable.DecVar.getNestedElement(java.lang.String name)
IDecisionVariable	AbstractIvmlVariable.getVariable()	Returns the underlying IVML (un-dereferenced) variable.

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration that return types with arguments of type IDecisionVariable

Modifier and Type	Method	Description
private java.util.Map<AbstractVariable,java.util.List<IDecisionVariable>>	ConfigurationContextResolver.collectReferences()	Collects all references in the configuration.

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type IDecisionVariable

Modifier and Type	Method	Description
void	ConfigurationContextResolver.ResolutionList.add(IDecisionVariable var)	Adds a variable.
private void	ConfigurationContextResolver.augment(IDecisionVariable dVar, boolean viaParent)	Augments dVar and its transitive parents.
private void	AbstractIvmlVariable.changeValue(IDecisionVariable toChange, java.lang.Object value)	Changes the value of the given variable.
private void	ConfigurationContextResolver.collectReference(IDecisionVariable var, Value val, java.util.Map<AbstractVariable,java.util.List<IDecisionVariable>> references)	Collects the references for a variable and a single value (entry in case of a collection).
private void	ConfigurationContextResolver.collectReferences(IDecisionVariable var, java.util.Map<AbstractVariable,java.util.List<IDecisionVariable>> references)	Collects the references for a single variable.
boolean	ConfigurationContextResolver.ResolutionList.contains(IDecisionVariable var)	Returns whether the list already contains var.
private void	AbstractIvmlVariable.createValue(IDecisionVariable var, IDatatype type)	Creates a value for the given type via a safe reasoner adapter.
private AbstractIvmlVariable	ConfigurationContextResolver.createVilInstance(IDecisionVariable decVar, Configuration configuration)	Obtains a mapping instance from configuration or creates a new one.
DecisionVariable	Configuration.findVariable(IDecisionVariable var)	Searches for the VIL instance holding var.
private DecisionVariable	Configuration.findVariable(IDecisionVariable var, DecisionVariable dVar)	Searches for var in dVar, i.e., whether dVar or one of its contained variables holdes var.
boolean	ConfigurationContextResolver.HashFilter.isEnabled(IDecisionVariable variable)
boolean	FrozenVariablesFilter.isEnabled(IDecisionVariable variable)
boolean	IVariableFilter.isEnabled(IDecisionVariable variable)	Checks the given variable.
boolean	NoVariableFilter.isEnabled(IDecisionVariable variable)
boolean	SetVariablesFilter.isEnabled(IDecisionVariable variable)
boolean	AbstractIvmlVariable.isVariable(IDecisionVariable var)	Returns whether this instances holds var.
void	ChangeHistory.ChangeListener.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)
private void	ConfigurationContextResolver.map(IDecisionVariable var, boolean viaParent)	Map the variable and its nested variables to the configuration and follows references.
private void	ConfigurationContextResolver.mapVar(IDecisionVariable var, boolean resolve, boolean viaParent)	Map the variable (without nested) to the configuration and follows references, but only if frozen.
void	ChangeHistory.ChangeListener.stateChanged(Configuration config, IDecisionVariable changedVariable)
private static void	AbstractIvmlVariable.transferState(IDecisionVariable source, IDecisionVariable target)	Transfers the states between source and target.

Method parameters in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with type arguments of type IDecisionVariable

Modifier and Type	Method	Description
private void	ChangeHistory.CSet.addAllDecisionVariables(java.util.Set<IDecisionVariable> result)	Adds all original decision variables of all elements to result.
private void	ConfigurationContextResolver.collectReference(IDecisionVariable var, Value val, java.util.Map<AbstractVariable,java.util.List<IDecisionVariable>> references)	Collects the references for a variable and a single value (entry in case of a collection).
private void	ConfigurationContextResolver.collectReferences(IDecisionVariable var, java.util.Map<AbstractVariable,java.util.List<IDecisionVariable>> references)	Collects the references for a single variable.

Constructors in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type IDecisionVariable

Constructor	Description
AbstractIvmlVariable(Configuration cfg, IDecisionVariable variable, IVariableFilter filter)	Creates a new IVML variable.
Attribute(Configuration parent, IDecisionVariable attribute, IVariableFilter filter)	Creates a new attribute instance.
DecisionVariable(Configuration cfg, IDecisionVariable variable, IVariableFilter filter)	Creates a decision variable.
DecVar(IDecisionVariable parent, Value value, DecisionVariableDeclaration decl)	Creates a temporary decision variable.

Constructor parameters in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with type arguments of type IDecisionVariable

Constructor	Description
SetVariablesFilter(java.util.Set<IDecisionVariable> enabled)	Creates a variables filter from the given set.

Uses of IDecisionVariable in net.ssehub.easy.instantiation.velocity

Fields in net.ssehub.easy.instantiation.velocity declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	VelocityContextInitializer.variable

Constructors in net.ssehub.easy.instantiation.velocity with parameters of type IDecisionVariable

Constructor	Description
VelocityContextInitializer(IDecisionVariable variable)	Sole constructor, will immediately start the conversation.

Uses of IDecisionVariable in net.ssehub.easy.integration.common.impl

Fields in net.ssehub.easy.integration.common.impl declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	DecisionVariable.value

Constructors in net.ssehub.easy.integration.common.impl with parameters of type IDecisionVariable

Constructor	Description
DecisionVariable(DecisionVariableDeclaration variable, IDecisionVariable value)	Creates a decision variable.

Uses of IDecisionVariable in net.ssehub.easy.producer.ui.confModel

Fields in net.ssehub.easy.producer.ui.confModel declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	ConfigEditorValueRetriever.variable
private IDecisionVariable	GUIHistoryItem.variable
private IDecisionVariable	GUIValueFactory.VariableVisitor.variable
private IDecisionVariable	GUIVariable.variable

Methods in net.ssehub.easy.producer.ui.confModel that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	ComboboxGUICellEditor.getVariable()
IDecisionVariable	GUIHistoryItem.getVariable()	Getter for the variable.
IDecisionVariable	GUIVariable.getVariable()	Returns the wrapped IDecisionVariable.
IDecisionVariable	TextGUICellEditor.getVariable()

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

Modifier and Type	Method	Description
boolean	IRangeRestriction.appliesTo(IDecisionVariable variable)	Specifies which variables are restricted by this filter.
(package private) void	GUIHistory.assignValue(IDecisionVariable variable)	Stores a new value into this GUIHistory.
private static ComboboxGUIVariable.ComboItem[]	GUIValueFactory.createComboItemArray(IDecisionVariable variable, int length)	Creates the array for combobox items and pre-assigns the null value if required via DisplayNameProvider.enableNullValueInConfiguration(IDecisionVariable).
static ComboboxGUIVariable.ComboItem[]	GUIValueFactory.createComboItems(IDecisionVariable variable, Reference reference)	Creates combo items for the given variable of type reference.
static GUIVariable	GUIValueFactory.createVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent)	Creates a new GUIVariable.
static GUIVariable	GUIValueFactory.createVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent, java.util.List<IRangeRestriction> rangeRestrictors)	Creates a new GUIVariable.
private GUIVariable	ErrorSetter.getVariable(IDecisionVariable variable)	Recursive part of ErrorSetter.visitConstraint(Constraint): Maps a (nested) IDecisionVariable to the correct (nested) GUIVariable.
(package private) static void	GUIVariable.replaceValue(IDecisionVariable decVar, Value value)	Replaces the value in decVar by value.
void	GUIVariable.setVariable(IDecisionVariable variable)	Setter for the wrapped IDecisionVariable.

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

Constructor	Description
AbstractExpandableGUIVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration parentConfig, GUIVariable varParent)	Sole constructor for this class.
BasisGUIVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent)	Sole constructor for this class.
ComboboxGUIVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, IDatatype type, ComboboxGUIVariable.ComboItem[] values, IGUIConfigurableElement confParent)	Sole constructor for this class.
CompoundGUIVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent)	Sole constructor for this class.
ConfigEditorValueRetriever(IDecisionVariable variable)	Sole constructor for this class for converting a given IDecisionVariable to an Object so that the Eclipse editors are able to handle it.
ContainerGUIVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent)	Sole constructor for this class.
GUIHistoryItem(Value value, IAssignmentState state, IDecisionVariable variable, java.lang.Long lastEdited)	Sole constructor for this class.
GUIVariable(IDecisionVariable variable, GUIConfiguration parentConfig, GUIVariable parent, org.eclipse.swt.widgets.Composite composite)	Sole constructor for this class.
MultipleSelectionEditor(org.eclipse.swt.widgets.Composite composite, IDatatype refType, IDecisionVariable refVariable)	Constructor for a MultipleSelectionEditor.
TooltipCreator(IDecisionVariable variable)	Sole constructor for this tooltip generator.
VariableVisitor(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent)	Sole constructor for this class.
VariableVisitor(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, GUIConfiguration config, GUIVariable varParent, java.util.List<IRangeRestriction> rangeRestrictors)	Sole constructor for this class.

Uses of IDecisionVariable in net.ssehub.easy.producer.ui.productline_editor

Methods in net.ssehub.easy.producer.ui.productline_editor that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	IUpdateProvider.getVariable()	Returns the underlying decision variable.

Methods in net.ssehub.easy.producer.ui.productline_editor with parameters of type IDecisionVariable

Modifier and Type	Method	Description
static org.eclipse.jface.viewers.CellEditor	ConfigurationTableEditorFactory.createCellEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable)	Creates a cell editor element for the given decision variable.
static org.eclipse.jface.viewers.CellEditor	ConfigurationTableEditorFactory.createCellEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable, java.util.List<IRangeRestriction> restrictors)	Creates a cell editor element for the given decision variable.
private static org.eclipse.jface.viewers.CellEditor	ConfigurationTableEditorFactory.createCellEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable, ConfigurationTableEditorFactory.IEditorCreator creator)	Tries to create a form editor control from an editor creator.
org.eclipse.jface.viewers.CellEditor	ConfigurationTableEditorFactory.IEditorCreator.createCellEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent)	Creates a cell editor for the given variable.
static org.eclipse.swt.widgets.Control	ConfigurationTableEditorFactory.createEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable)	Creates a form editor element for the given decision variable.
static org.eclipse.swt.widgets.Control	ConfigurationTableEditorFactory.createEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable, java.util.List<IRangeRestriction> restrictors)	Creates a form editor element for the given decision variable.
private static org.eclipse.swt.widgets.Control	ConfigurationTableEditorFactory.createEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable, ConfigurationTableEditorFactory.IEditorCreator creator)	Tries to create a form editor control from an editor creator.
org.eclipse.swt.widgets.Control	ConfigurationTableEditorFactory.IEditorCreator.createEditor(ConfigurationTableEditorFactory.UIConfiguration config, IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent)	Creates a form editor for the given variable.
org.eclipse.swt.widgets.Control	ConfigurationTableEditorFactory.UIConfiguration.getEditorFor(IDecisionVariable var)	Returns the control (of the editor for) var.
void	ConfigurationTableEditorFactory.UIConfiguration.updateEditor(IDecisionVariable variable)	Updates editors using variable that has recently been changed.
void	ConfigurationTableEditorFactory.UIChangeListener.valueChanged(IDecisionVariable variable)	Called when the given variable is updated/changed by the ConfigurationTableEditorFactory.UIConfiguration.

Constructors in net.ssehub.easy.producer.ui.productline_editor with parameters of type IDecisionVariable

Constructor	Description
DelegatingGuiVariable(IDecisionVariable variable, GUIConfiguration parentConfig, org.eclipse.jface.viewers.CellEditor cellEditor)	Creates an instance.
DelegatingGuiVariable(IDecisionVariable variable, GUIConfiguration parentConfig, org.eclipse.swt.widgets.Control control)	Creates an instance.

Uses of IDecisionVariable in net.ssehub.easy.producer.ui.productline_editor.configuration

Methods in net.ssehub.easy.producer.ui.productline_editor.configuration with parameters of type IDecisionVariable

Modifier and Type	Method	Description
void	AbstractConfigMenu.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)
void	AttributeValuesPage.AttributeTableEditor.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)	Notification that a DecisionVariable changed inside the Configuration.
void	AttributeValuesPage.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)	Notification that a DecisionVariable changed inside the Configuration.
void	ConfigurationTableEditor.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)
boolean	AttributeValuesPage.TemporaryAttributesConfiguration.removeDecision(IDecisionVariable variable)	Remove a specific decision.
void	AbstractConfigMenu.stateChanged(Configuration config, IDecisionVariable changedVariable)
void	AttributeValuesPage.stateChanged(Configuration config, IDecisionVariable changedVariable)
void	ConfigurationTableEditor.stateChanged(Configuration config, IDecisionVariable changedVariable)
void	AttributeValuesPage.TemporaryAttributesConfiguration.valueChanged(IDecisionVariable changedVariable, Value oldValue)	To be called when a value changed.

Uses of IDecisionVariable in net.ssehub.easy.reasoning.core.reasoner

Fields in net.ssehub.easy.reasoning.core.reasoner declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	ValueCreationResult.var

Fields in net.ssehub.easy.reasoning.core.reasoner with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private java.util.List<IDecisionVariable>	ReasoningResult.affected
private java.util.List<IDecisionVariable>	Message.constraintVariables
private java.util.List<java.util.Set<IDecisionVariable>>	Message.problemVariables

Methods in net.ssehub.easy.reasoning.core.reasoner that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	ReasoningResult.getAffectedVariable(int index)	Returns the affected variable specified by index.
IDecisionVariable	ValueCreationResult.getVariable()	Returns the holding variable.

Methods in net.ssehub.easy.reasoning.core.reasoner that return types with arguments of type IDecisionVariable

Modifier and Type	Method	Description
java.util.List<IDecisionVariable>	Message.getNamedConstraintVariables()	Method for returning a list of ConstraintVariables of a failed constraint.
java.util.List<java.util.Set<IDecisionVariable>>	Message.getProblemVariables()	Method for returning a list of IDecisionVariables that are involved in each failed constraint.

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type IDecisionVariable

Modifier and Type	Method	Description
void	ReasoningResult.addAffected(IDecisionVariable var)	Adds a variable affected by reasoning.
private boolean	AttributesCheckVisitor.checkDecisionVariable(IDecisionVariable variable)	Checks a single variable.
private boolean	AttributesCheckVisitor.checkDecisionVariable(IDecisionVariable attribute, IAssignmentState state)	Checks a single variable.
private static java.lang.String	AttributesCheckVisitor.getQualifiedName(IDecisionVariable variable)	Returns the qualified name of the given decision variable.
private java.lang.String	Message.toString(Constraint constraint, IDecisionVariable namedVariable)	Turns a constraint into a string representation.
private java.lang.String	Message.toString(ModelElement elt, IDecisionVariable namedVariable)	Turns a model element into a string representation.
void	AttributesCheckVisitor.visitDecisionVariable(IDecisionVariable variable)

Method parameters in net.ssehub.easy.reasoning.core.reasoner with type arguments of type IDecisionVariable

Modifier and Type	Method	Description
void	Message.addNamedConstraintVariables(java.util.List<IDecisionVariable> constraintVariables)	Method for adding a list of ConstraintVariables of a failed constraint.
void	Message.addProblemVariables(java.util.List<java.util.Set<IDecisionVariable>> variables)	Method for adding a list of IDecisionVariables that are involved in each failed constraint.

Constructors in net.ssehub.easy.reasoning.core.reasoner with parameters of type IDecisionVariable

Constructor	Description
ValueCreationResult(IDecisionVariable var)	Creates a value creation result.

Uses of IDecisionVariable in net.ssehub.easy.reasoning.sseReasoner

Fields in net.ssehub.easy.reasoning.sseReasoner declared as IDecisionVariable

Modifier and Type	Field	Description
private IDecisionVariable	CheckInitializerVisitor.variable
private IDecisionVariable	RescheduleValueChangeVisitor.variable
private IDecisionVariable	Resolver.OtherConstraintsProcessor.variable
private IDecisionVariable	RescheduleValueChangeVisitor.varParent

Fields in net.ssehub.easy.reasoning.sseReasoner with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private java.util.List<IDecisionVariable>	Engine.constraintVariables
private java.util.List<java.util.Set<IDecisionVariable>>	Engine.problemDecisions
private java.util.Set<IDecisionVariable>	Resolver.usedVariables

Methods in net.ssehub.easy.reasoning.sseReasoner that return IDecisionVariable

Modifier and Type	Method	Description
(package private) IDecisionVariable	Resolver.getConstraintVariable(Constraint constraint)	Returns the variable currently assigned to constraint.

Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type IDecisionVariable

Modifier and Type	Method	Description
void	CheckInitializerVisitor.accept(ConstraintSyntaxTree cst, IModelElement parent, IDecisionVariable variable)	Accepts the results of a container constraints finder and derives constraints from the contained constraints / constraint values.
(package private) void	Resolver.addAssignedVariableToScope(IDecisionVariable variable)	Adds an assigned variable to the current scope.
void	Resolver.addConstraint(ConstraintList target, boolean first, Constraint constraint, IDecisionVariable register)
private void	Resolver.addConstraint(ConstraintList target, Constraint constraint, boolean checkForInitializers, IDecisionVariable variable, IDecisionVariable register)	Adding a constraint to a constraint set, checking for contained container/compound initializers if requested.
private void	Resolver.addDefaultConstraint(AbstractVariable decl, ConstraintSyntaxTree defaultValue, Resolver.DefaultConstraints tmp, boolean enable, IDecisionVariable var)	Adds a default constraint.
private void	CheckInitializerVisitor.checkForConstraint(IDatatype type, ConstraintSyntaxTree cst, IDecisionVariable register)	Checks for a constraint expression.
(package private) java.util.List<Constraint>	Resolver.cleanupConstraints(IDecisionVariable variable, boolean clear, java.util.Set<Compound> deleteFilter)	Obtains and if specified clears old constraints in the internal reasoner data structures.
(package private) Constraint	Resolver.createConstraintVariableConstraint(ConstraintSyntaxTree cst, ConstraintSyntaxTree selfEx, AbstractVariable self, IModelElement parent, IDecisionVariable variable)	Creates a constraint for a (nested) constraint variable adding the result to #constraintVariablesConstraints.
(package private) Constraint	Resolver.createConstraintVariableConstraint(ConstraintSyntaxTree cst, AbstractVariable self, boolean checkForInitializers, IModelElement parent, IDecisionVariable variable)	Creates a constraint for a (nested) constraint variable adding the result to Resolver.otherConstraints.
(package private) void	Resolver.createContainerConstraintValueConstraints(ContainerValue val, ConstraintSyntaxTree selfEx, AbstractVariable self, IModelElement parent, IDecisionVariable nestedVariable)	Checks a container value for nested constraint values, i.e., values of nested constraint variables.
protected IAssignmentState	EvalVisitor.getTargetState(IDecisionVariable var)
private boolean	EvalVisitor.isAssignable(IDecisionVariable var, IDecisionVariable compound)	Method for determining if variable is valid for value assignment.
private boolean	RescheduleValueChangeVisitor.isValueTypeChange(IDecisionVariable variable, Value newValue, Value oldValue)	Returns whether a value change from oldValue to newValue on variable is a value type change.
(package private) void	Resolver.moveOtherConstraintsToConstraintBase(IDecisionVariable variable)	Moves (temporary) constraints in Resolver.otherConstraints as created by constraint translation to the constraint base.
void	RescheduleValueChangeVisitor.notifyChanged(IDecisionVariable variable, Value oldValue, IAssignmentState oldState, IValueChangeListener.ChangeKind kind)
void	Resolver.notifyResolved(IDecisionVariable compound, java.lang.String slotName, IDecisionVariable resolved)
void	Resolver.notifyResolved(AbstractVariable declaration, IDecisionVariable resolved)
void	RescheduleValueChangeVisitor.notifyUnresolved(IDecisionVariable variable)
private void	Resolver.processCompoundEvals(Compound cmpType, ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)	Method for extracting constraints from compounds eval blocks (also refined compounds).
private void	Resolver.processEvalConstraints(PartialEvaluationBlock evalBlock, ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)	Method for handling eval blocks - searching for nested eval blocks and extracting constraints.
(package private) void	Resolver.reschedule(IDecisionVariable var)	Tries rescheduling the given constraints.
private void	RescheduleValueChangeVisitor.rescheduleConstraintsForChilds(IDecisionVariable variable, boolean decl)	Determines the constraints needed for variable and its (transitive) child slots.
private void	RescheduleValueChangeVisitor.rescheduleConstraintsForParent(IDecisionVariable variable)	Determines the constraints needed for the parents of variable.
(package private) void	RescheduleValueChangeVisitor.rescheduleValueChange(IDecisionVariable varParent, IDecisionVariable variable, Value oldValue, boolean clear)	Re-schedules a changed constraint value but only if rescheduling is needed.
private void	Resolver.OtherConstraintsProcessor.setParameter(ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)	Sets the parameters for processing.
private void	Resolver.translateAnnotationAssignments(AttributeAssignment assignment, IDecisionVariable var, java.util.List<AttributeAssignment.Assignment> effectiveAssignments, ConstraintSyntaxTree compound)	Translates attribute assignments.
private void	Resolver.translateAnnotationDeclaration(Attribute decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc, boolean qualifyAttribute)	Translates an annotation declaration.
private void	Resolver.translateAnnotationDeclarations(AbstractVariable decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc)	Translates annotation declarations.
private void	Resolver.translateCompoundContent(AbstractVariable decl, IDecisionVariable variable, Compound type, ConstraintSyntaxTree cAcc)	Translates the compound content.
private int	Resolver.translateCompoundDeclaration(AbstractVariable decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc, Compound type, int mode)	Translates translating compound type declarations, but only if not ContextStack.alreadyProcessed(IDatatype) in nested collection/compound types.
private void	Resolver.translateContainerDeclaration(AbstractVariable decl, IDecisionVariable var, IDatatype type, ConstraintSyntaxTree cAcc)	Translates the (transitive) defaults and type constraints for a container declaration.
private void	Resolver.translateDeclaration(AbstractVariable decl, IDecisionVariable var, ConstraintSyntaxTree cAcc)	Translates the (transitive) defaults and type constraints for a declaration.
(package private) void	Resolver.translateValueTypeChange(IDecisionVariable variable, Value newValue, Value oldValue)	Translates/reschedules a change of value types for compound values.
private boolean	EvalVisitor.wasAssignedInThisScope(IDecisionVariable var, IDecisionVariable compound)	Method for determining if variable was already aasigned in this scope.

Uses of IDecisionVariable in net.ssehub.easy.reasoning.sseReasoner.functions

Fields in net.ssehub.easy.reasoning.sseReasoner.functions with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private java.util.Set<IDecisionVariable>	ScopeAssignments.currentScopeSet
private java.util.Set<IDecisionVariable>	FailedElementDetails.problemPoints
private java.util.Map<IModelElement,java.util.Set<IDecisionVariable>>	ScopeAssignments.scopeAssignments

Methods in net.ssehub.easy.reasoning.sseReasoner.functions that return types with arguments of type IDecisionVariable

Modifier and Type	Method	Description
java.util.Set<IDecisionVariable>	FailedElementDetails.getProblemPoints()	Method for returning a set of IDecisionVariables that may caused a constraint to fail.

Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type IDecisionVariable

Modifier and Type	Method	Description
void	ScopeAssignments.addAssignedVariable(IDecisionVariable variable)	Method for registering a variable that was assigned.
boolean	ScopeAssignments.wasAssignedInThisScope(IDecisionVariable variable)	Method for determining if variable was assigned in the specific scope.

Method parameters in net.ssehub.easy.reasoning.sseReasoner.functions with type arguments of type IDecisionVariable

Modifier and Type	Method	Description
void	FailedElementDetails.setProblemPoints(java.util.Set<IDecisionVariable> problemPoints)	Method for adding a set of IDecisionVariables that may caused a constraint to fail.

Uses of IDecisionVariable in net.ssehub.easy.reasoning.sseReasoner.model

Fields in net.ssehub.easy.reasoning.sseReasoner.model with type parameters of type IDecisionVariable

Modifier and Type	Field	Description
private java.util.Map<Constraint,IDecisionVariable>	VariablesMap.constraintVariableMap
private java.util.Map<IDecisionVariable,java.util.List<Constraint>>	VariablesMap.variableConstraintsMap

Methods in net.ssehub.easy.reasoning.sseReasoner.model that return IDecisionVariable

Modifier and Type	Method	Description
IDecisionVariable	VariablesMap.getDecisionVariableForConstraint(Constraint constraint)	Returns the decision variable for constraint.

Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type IDecisionVariable

Modifier and Type	Method	Description
void	VariablesMap.addAll(IDecisionVariable variable, ConstraintList constraints)	Relates all constraints to the declaration of variable and the declarations of all parent variables of variable.
void	ContextStack.addAsParentCache(IDatatype type, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Adds the type cache of type as parent to the type cache that is currently in construction.
void	TypeCache.IConstraintTarget.addConstraint(ConstraintList target, boolean first, Constraint constraint, IDecisionVariable register)	Adds a constraint to the (preliminary) constraint base.
void	TypeCache.Entry.addParent(TypeCache.Entry entry, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Adds a parent to this entry and causes constraint transfer.
protected void	VariablesInConstraintFinder.addVariable(IDecisionVariable var)
static ConstraintSyntaxTree	ReasoningUtils.createParentExpression(IDecisionVariable variable)	Creates an expression representing the parent of variable.
static Value	ReasoningUtils.getRelevantValue(AbstractVariable decl, IDecisionVariable var, boolean incremental)	Returns the relevant value for reasoning.
static <D extends Value> D	ReasoningUtils.getRelevantValue(AbstractVariable decl, IDecisionVariable var, boolean incremental, java.lang.Class<D> filter)	Returns the relevant value for reasoning.
static void	ReasoningUtils.printModelElement(IDecisionVariable variable)	Method for printing info about IDecisionVariable.
void	VariablesMap.registerConstraint(IDecisionVariable variable, Constraint constraint)	Registers constraint with constraint variable variable.
void	VariablesMap.removeAll(IDecisionVariable variable, java.util.Collection<Constraint> constraints)	Unrelates all constraints from the declaration of variable and all declarations of parent variables of variable.
static void	ReasoningUtils.setValue(IDecisionVariable var, Constraint value)	Sets a constraint value.
static java.lang.String	ReasoningUtils.toStringAttributes(IDecisionVariable variable)	Method for displaying all variable attributes.
private void	TypeCache.ConstraintTemplate.transfer(TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var, AbstractVariable self)	Transfers the stored constraint into the context of self.
boolean	ContextStack.transferConstraints(IDatatype type, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Transfers all constraints from the associated type cache entry into their respective target constraint sets.
private boolean	TypeCache.Entry.transferConstraints(TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Transfers constraints.
boolean	TypeCache.transferConstraints(IDatatype type, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Transfers collected constraints for type.
void	VariablesMap.unregisterConstraint(IDecisionVariable variable, Constraint constraint)	Unregisters a constraint from a decision variable.

Method parameters in net.ssehub.easy.reasoning.sseReasoner.model with type arguments of type IDecisionVariable

Modifier and Type	Method	Description
static void	ReasoningUtils.printProblemPoints(java.util.Set<IDecisionVariable> problemVariables)	Method for printing all problem points.

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 java.util.Map<IDatatype,java.util.Map<IDecisionVariable,ReferenceValue>>	Configuration.allInstances
private java.util.Map<AbstractVariable,IDecisionVariable>	CompoundValueSetter.decisions
private java.util.LinkedHashMap<AbstractVariable,IDecisionVariable>	Configuration.decisions
private java.util.Map<IDatatype,java.util.List<IDecisionVariable>>	AssignmentResolver.instancesPerType	Temporary list of all instances per data type.
private java.util.Map<java.lang.String,IDecisionVariable>	CompoundVariable.nestedElements
private java.util.List<IDecisionVariable>	ContainerVariable.nestedElements
private java.util.List<IDecisionVariable>	AssignmentResolver.AssignBlockVisitor.parents
private java.util.Map<java.lang.String,IDecisionVariable>	DecisionVariable.InitializationAnnotationVisitor.tmp
private java.util.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, java.lang.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(java.lang.String varName, boolean dereference)	Returns the decision variable for a potentially nested/qualified name from this configuration.
private IDecisionVariable	Configuration.getDecision(IDecisionVariable var, java.lang.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(java.lang.String name)
static IDecisionVariable	Configuration.getNestedElement(IDecisionVariable base, java.lang.String name)	Returns an element for base specified by its name.
IDecisionVariable	ContainerVariable.getNestedElement(int index)
IDecisionVariable	DecisionVariable.getNestedElement(java.lang.String name)
IDecisionVariable	IDecisionVariable.getNestedElement(int index)	Returns the element specified by index.
IDecisionVariable	IDecisionVariable.getNestedElement(java.lang.String name)	Returns an element specified by its name.
IDecisionVariable	CompoundVariable.getNestedVariable(java.lang.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 java.util.List<IDecisionVariable>	ConfigQuery.collectVariablesByType(Configuration config, IDatatype type, boolean onlyToplevel)	Gathers all IDecisionVariables of the given Configuration, which match the specified type.
(package private) java.util.Map<AbstractVariable,IDecisionVariable>	Configuration.getConfiguredDecisions()	Returns the saved (AbstractVariable, IDecisionVariable) mapping.
protected java.util.List<IDecisionVariable>	AssignmentResolver.getInstancesForType(IDatatype type)	Returns a list of all (nested) IDecisionVariables for the given type.
java.util.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, java.util.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, java.util.Map<IDatatype,Reference> referenceTypes, java.util.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, java.lang.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, java.lang.String varName, boolean dereference)	Returns the decision variable for a potentially nested/qualified name from this configuration using with var as current search context.
java.lang.String	DisplayNameProvider.getDisplayName(IDecisionVariable variable)	Returns the display name of a variable.
static java.lang.String	Configuration.getInstanceName(IDecisionVariable var)	Returns the instance name of a decision variable.
static java.lang.String	Configuration.getInstanceName(IDecisionVariable var, boolean qualified)	Returns the instance name of a decision variable.
static IDecisionVariable	Configuration.getNestedElement(IDecisionVariable base, java.lang.String name)	Returns an element for base specified by its name.
java.lang.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(java.io.PrintStream out, IDecisionVariable var, java.lang.String indent)	Prints a variable to out.
private int	ConfigurationSaver.processAssignment(Project confProject, java.lang.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, java.util.List<IDecisionVariable> variables)	Recursive part of ConfigQuery.collectVariablesByType(Configuration, IDatatype, boolean), which searches for (nested) variables.
private void	AssignmentResolver.resolveAnnotationAssignments(AttributeAssignment assignBlock, java.util.Map<java.lang.String,Value> annotationAssignments, java.util.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

Constructor	Description
DefaultValueHelper(IDecisionVariable variable)	Creates an initialized default value helper by calling DefaultValueHelper.initialize(IDecisionVariable).
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

Constructor	Description
AssignBlockVisitor(java.util.Map<java.lang.String,Value> annotationAssignments, java.util.List<IDecisionVariable> parents)	Sole constructor of this class.
CompoundValueSetter(OCLFeatureCall ocl, java.util.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

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 java.util.Map<AbstractVariable,IDecisionVariable>	LocalConfiguration.map
private java.util.List<IDecisionVariable>	EvaluationAccessor.nestedElements
private java.util.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, java.lang.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, java.lang.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(java.lang.String name)
IDecisionVariable	LocalDecisionVariable.getNestedVariable(java.lang.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(java.lang.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, java.lang.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, java.lang.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, java.lang.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, java.lang.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, java.lang.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, java.lang.String prefix, java.util.Map<java.lang.String,VariableValueCopier.CopySpec> fieldSpecs, java.util.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, java.lang.String prefix, java.util.Map<java.lang.String,VariableValueCopier.CopySpec> fieldSpecs, java.util.Set<IDecisionVariable> done)	Processes a decision variable.

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

Constructor	Description
LocalDecisionVariable(DecisionVariableDeclaration decl, IConfiguration conf, IDecisionVariable parent)	Creates a local decision variable.
Message(java.lang.String description, Status status, IDecisionVariable var, int code)	Main constructor.
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 java.util.Deque<IDecisionVariable>	IDecisionVariableInConstraintFinder.parents
private java.util.Set<IDecisionVariable>	IDecisionVariableInConstraintFinder.variables
private java.util.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
java.util.Set<IDecisionVariable>	IDecisionVariableInConstraintFinder.getVariables()	Returns all AbstractVariable's inside the given ConstraintSyntaxTree.
java.util.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 java.util.Map<AbstractVariable,java.util.Set<IDecisionVariable>>	VariableLookUpTable.instancesPerDeclaration	List of instances for a given declaration.
private java.util.Map<IDatatype,java.util.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
java.util.Set<IDecisionVariable>	RewriteContext.getInstancesForDeclaration(Configuration config, AbstractVariable declaration)	Returns the set of instances of the given AbstractVariable declaration.
(package private) java.util.Set<IDecisionVariable>	VariableLookUpTable.getInstancesForDeclaration(AbstractVariable declaration)	Returns the set of instances of the given AbstractVariable declaration.
java.util.Set<IDecisionVariable>	RewriteContext.getInstancesForType(Configuration config, IDatatype type)	Returns the set of instances of the given IDatatype.
(package private) java.util.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.