Uses of Class
net.ssehub.easy.varModel.model.Constraint

Packages that use Constraint

Package	Description
de.uni_hildesheim.sse	IVML core main classes (exported).
net.ssehub.easy.instantiation.core.model.vilTypes.configuration	All classes related to the EASy integration of configuration and decisions.
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.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
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.management	Provides functionality to manage variability models and their dependencies.
net.ssehub.easy.varModel.model	Base package for the variability model.
net.ssehub.easy.varModel.model.datatypes	Base directory for the main datatype classes.
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.search	Specific classes for performing search operations on models.
net.ssehub.easy.varModel.persistency	These package is for reading and saving the variability model and the configuration. Currently supported file formats: EASy-Producer 2.0 config files (xml) IVML
net.ssehub.easy.varModel.validation	Classes for validating e variability model, e.g.

Uses of Constraint in de.uni_hildesheim.sse

Methods in de.uni_hildesheim.sse that return Constraint

Modifier and Type	Method	Description
Constraint	ModelUtility.createConstraint(java.lang.String text, Project project, boolean asStatement)	Parses a text into a constraint in the context of project.

Uses of Constraint in net.ssehub.easy.instantiation.core.model.vilTypes.configuration

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

Modifier and Type	Method	Description
void	VariableCollector.visitConstraint(Constraint constraint)

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

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

Modifier and Type	Field	Description
private Constraint	Constraint.constraint

Methods in net.ssehub.easy.integration.common.impl that return Constraint

Modifier and Type	Method	Description
Constraint	Constraint.getInstance()	Returns the related IVML instance.

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

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

Modifier and Type	Method	Description
void	ErrorSetter.visitConstraint(Constraint constraint)

Uses of Constraint in net.ssehub.easy.reasoning.core.frontend

Method parameters in net.ssehub.easy.reasoning.core.frontend with type arguments of type Constraint

Modifier and Type	Method	Description
EvaluationResult	AbstractChainedReasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	IReasonerInstance.evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerAdapter.FrontendReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.InstanceReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.IReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerFrontend.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
private IReasoner	ReasonerFrontend.getActualReasoner(Configuration configuration, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration)	Returns the actual and matching reasoner.

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

Subclasses of Constraint in net.ssehub.easy.reasoning.core.reasoner

Modifier and Type	Class	Description
class	AnnotationAssignmentConstraint	Reasoner specific constraint type indicating a Constraint.Type.ANNOTATION_ASSIGNMENT constraint.
class	AttachedConstraint	Implements a constraint with attached object (fixed and Constraint.Type.USUAL type).
class	ConstraintVariableConstraint	Reasoner specific constraint type indicating a Constraint.Type.CONSTRAINT.
class	DefaultConstraint	Reasoner specific constraint type indicating a Constraint.Type.DEFAULT constraint.
class	TypedConstraint	Reasoner specific constraint type indicating a typed constraint, e.g., a default constraint or a constraint originating from a constraint variable.

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

Modifier and Type	Field	Description
private Constraint	ConstraintList.Node.constraint
private Constraint	EvaluationResult.EvaluationPair.constraint

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

Modifier and Type	Field	Description
private java.util.Map<Constraint,ConstraintList.Node>	ConstraintBase.mapping
private java.util.List<Constraint>	Message.problemConstraints

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

Modifier and Type	Method	Description
Constraint	AnnotationAssignmentConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	AttachedConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	ConstraintVariableConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	DefaultConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	TypedConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	EvaluationResult.EvaluationPair.getConstraint()	Returns the constraint.
Constraint	ConstraintList.getFirst()	Returns the first constraint in this list.
Constraint	ConstraintList.getLast()	Returns the last constraint in this list.
Constraint	ConstraintList.pop()	Pops an element from the stack represented by this list.
Constraint	ConstraintList.removeFirst()	Removes and returns the first constraint from this list.
Constraint	ConstraintList.removeLast()	Removes and returns the last constraint from this list.
Constraint[]	ConstraintList.toArray()	Turns this list into an array containing all constraints.
(package private) Constraint	ConstraintList.unlink(ConstraintList.Node node)	Unlinks non-null node x.
private Constraint	ConstraintList.unlinkFirst(ConstraintList.Node node)	Unlinks non-null first node node.
private Constraint	ConstraintList.unlinkLast(ConstraintList.Node node)	Unlinks non-null last node node.

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

Modifier and Type	Method	Description
java.util.List<Constraint>	Message.getProblemConstraints()	Method for returning a list of full Constraints that are involved in each failed constraint.
java.util.Iterator<Constraint>	ConstraintList.iterator()	Returns an iterator over the elements in this list (in proper sequence).

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

Modifier and Type	Method	Description
void	ConstraintList.add(Constraint constraint)	Appends the specified constraint to the end of this constraint base.
private void	ConstraintList.addAll(int index, Constraint[] cArray)	Adds all constraints from cArray to this collection at position index.
void	ConstraintList.addFirst(Constraint constraint)	Inserts the specified constraint at the beginning of this constraint base.
void	ConstraintList.addLast(Constraint constraint)	Appends the specified constraint to the end of this constraint base.
boolean	ConstraintBase.contains(Constraint constraint)
boolean	ConstraintList.contains(Constraint constraint)	Returns true if this list contains the specified constraint.
int	ConstraintList.indexOf(Constraint constraint)	Returns the index of the first occurrence of the specified constraint in this list, or -1 if this list does not contain the element.
private void	ConstraintList.linkFirst(Constraint constraint)	Links constraint as first constraint.
private void	ConstraintList.linkLast(Constraint constraint)	Links constraint as last constraint.
void	ConstraintList.IModificationListener.notifyAdded(Constraint constraint, ConstraintList.Node node)	Is called when a new node has been added for constraint.
void	IReasonerInterceptor.notifyEvaluation(Constraint constraint, IConstraintEvaluator evaluator)	Notifies about the evaluation of a constraint.
void	ReasonerInterceptorAdaptor.notifyEvaluation(Constraint constraint, IConstraintEvaluator evaluator)
void	ConstraintList.IModificationListener.notifyRemoved(Constraint constraint, ConstraintList.Node node)	Is called when a new node is being removed through removing constraint.
private java.lang.String	Message.toString(Constraint constraint, IDecisionVariable namedVariable)	Turns a constraint into a string representation.
void	AttributeValues.ResolutionVisitor.visitConstraint(Constraint constraint)
void	CommentResourceVisitor.visitConstraint(Constraint constraint)

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

Modifier and Type	Method	Description
boolean	ConstraintList.addAll(int index, java.util.Collection<? extends Constraint> constraints)	Inserts all of the constraints in the specified collection into this list, starting at the specified position.
boolean	ConstraintList.addAll(java.util.Collection<? extends Constraint> constraints)	Appends all of the constraints in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
void	Message.addProblemConstraints(java.util.List<Constraint> constraints)	Method for adding a list of Constraints that are involved in each failed constraint.
EvaluationResult	DelegatingReasonerInstance.evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)
EvaluationResult	IReasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
boolean	ConstraintBase.removeAll(java.util.Collection<? extends Constraint> constraints)
boolean	ConstraintList.removeAll(java.util.Collection<? extends Constraint> constraints)	Removes all elements from this list, which are also in constraints.
void	ConstraintList.toCollection(java.util.Collection<Constraint> collection)	Adds all elements in this list to a collection of constraints.

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

Constructor	Description
EvaluationPair(Constraint constraint)	Creates a pair with an unknown evaluation result.
EvaluationPair(Constraint constraint, EvaluationResult.ConstraintEvaluationResult result)	Creates a pair with a given evaluation result.
EvaluationPair(Constraint constraint, EvaluationResult.ConstraintEvaluationResult result, Value value)	Creates a pair with a given evaluation result.
Node(ConstraintList.Node prev, Constraint constraint, ConstraintList.Node next)	Creates a node.

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

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

Modifier and Type	Field	Description
private java.util.List<Constraint>	Engine.problemConstraints

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

Modifier and Type	Method	Description
(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.

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

Modifier and Type	Method	Description
(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.

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

Modifier and Type	Method	Description
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.analyzeEvaluationResult(Constraint constraint)	Records information about the evaluation result, failed evaluation messages.
private void	Resolver.evaluateConstraint(Constraint constraint, boolean top)	Evaluates constraint and if available, in case of default constraints, also all related initializing default constraints as one block.
private void	Resolver.evaluateConstraint(Constraint constraint, ConstraintSyntaxTree cst)	Evaluates a single constraint.
(package private) IDecisionVariable	Resolver.getConstraintVariable(Constraint constraint)	Returns the variable currently assigned to constraint.
void	Resolver.ConstraintTranslationVisitor.visitConstraint(Constraint constraint)

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

Modifier and Type	Method	Description
EvaluationResult	Reasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
EvaluationResult	Reasoner.ReasonerInstance.evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)
private void	Resolver.reschedule(java.util.Collection<Constraint> constraints)	Tries rescheduling the given constraints.

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

Fields in net.ssehub.easy.reasoning.sseReasoner.functions declared as Constraint

Modifier and Type	Field	Description
private Constraint	FailedElementDetails.problemConstraint

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

Modifier and Type	Field	Description
private java.util.Map<Constraint,FailedElementDetails>	FailedElements.problemConstraints	Map of failed Constraints and FailedElementDetailss that might cause the problem.

Methods in net.ssehub.easy.reasoning.sseReasoner.functions that return Constraint

Modifier and Type	Method	Description
Constraint	FailedElementDetails.getProblemConstraint()	Method for returning the failed Constraint Constraint.

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

Modifier and Type	Method	Description
java.util.Map<Constraint,FailedElementDetails>	FailedElements.getProblemConstraintMap()	Returns a map of failed Constraints and associated FailedElementDetailss.
java.util.Iterator<Constraint>	FailedElements.getProblemConstraints()	Returns a Iterator - problem Constraints.

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

Modifier and Type	Method	Description
void	FailedElements.addProblemConstraint(Constraint constraint, FailedElementDetails details)	Method for adding failed constraints and associated details.
ConstraintSyntaxTree	AbstractConstraintProcessor.process(Constraint constraint, AbstractConstraintProcessor.ExpressionType type)	Processes a constraint (taking over the parent of constraint).
void	FailedElements.removeProblemConstraint(Constraint constraint)	Removes a problem point through its constraint.
void	ScopeAssignments.setCurrentScope(Constraint constraint)	Defines the current scope due to the parents of the given constraint.
void	FailedElementDetails.setProblemConstraint(Constraint problemConstraint)	Method for adding the failed Constraints Constraint.
void	ConstraintFunctions.TransitiveConstraintFinder.visitConstraint(Constraint constraint)

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

Modifier and Type	Method	Description
void	FailedElements.removeProblemConstraints(java.util.List<Constraint> constraints)	Removes problem points through several constraint.

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

Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as Constraint

Modifier and Type	Field	Description
private Constraint	TypeCache.ConstraintTemplate.constraint
private Constraint	VariablesInNotSimpleAssignmentConstraintsFinder.constraint

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

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

Methods in net.ssehub.easy.reasoning.sseReasoner.model that return types with arguments of type Constraint

Modifier and Type	Method	Description
java.util.List<Constraint>	VariablesMap.getConstraintsForVariable(IConfigurationElement variable)	Returns the constraints registered for variable.
java.util.Set<Constraint>	VariablesMap.getRelevantConstraints(AbstractVariable declaration)	Returns all constraints, where the specifies declaration was used inside.
private java.util.Set<Constraint>	VariablesMap.obtainConstraintSet(AbstractVariable declaration)	Returns the constraint set for declaration.

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

Modifier and Type	Method	Description
void	VariablesInNotSimpleAssignmentConstraintsFinder.accept(Constraint constraint, Configuration config)	Accepts and visits a constraint.
void	VariablesInNotSimpleAssignmentConstraintsFinder.acceptAndClear(Constraint constraint, Configuration config)	Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().
void	VariablesInNotSimpleAssignmentConstraintsFinder.acceptAndClear(Constraint constraint, Configuration config, boolean add)	Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().
void	VariablesMap.add(AbstractVariable declaration, Constraint constraint)	Adds a relationship between variable and constraint.
void	ContextStack.addConstraint(ConstraintList target, boolean first, Constraint constraint, boolean register)	Adds a constraint to the type cache that is currently in construction for the actual context frame.
void	TypeCache.Entry.addConstraint(ConstraintList target, boolean first, Constraint constraint, boolean register)	Adds a constraint to this type cache entry.
void	TypeCache.IConstraintTarget.addConstraint(ConstraintList target, boolean first, Constraint constraint, IDecisionVariable register)	Adds a constraint to the (preliminary) constraint base.
IDecisionVariable	VariablesMap.getDecisionVariableForConstraint(Constraint constraint)	Returns the decision variable for constraint.
private void	VariablesInNotSimpleAssignmentConstraintsFinder.modifyRelation(AbstractVariable variable, Constraint constraint)	Modifies the relationship between variable and constraint due to VariablesInNotSimpleAssignmentConstraintsFinder.add.
static void	ReasoningUtils.printConstraintEvaluationResult(Constraint constraint, EvaluationVisitor evaluator)	Prints a constraint evaluation result (for debugging).
void	VariablesMap.registerConstraint(IDecisionVariable variable, Constraint constraint)	Registers constraint with constraint variable variable.
void	VariablesMap.remove(AbstractVariable declaration, Constraint constraint)	Removes a relationship between variable and constraint.
static void	ReasoningUtils.setValue(IDecisionVariable var, Constraint value)	Sets a constraint value.
static java.lang.String	ReasoningUtils.toIvmlString(Constraint constraint)	Turns a constraint into a string.
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 Constraint

Modifier and Type	Method	Description
void	VariablesInNotSimpleAssignmentConstraintsFinder.acceptAndClear(java.util.List<Constraint> constraints, Configuration config, boolean add)	Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear() for an iterable of constraints.
static void	ReasoningUtils.printConstraints(java.lang.String text, java.lang.Iterable<Constraint> constraints)	Prints a constraints collection, each constraint including top-levle parent and system identity hashcodes [DEBUGGING].
static void	ReasoningUtils.removeAll(java.util.Collection<Constraint> collection, java.util.Collection<Constraint> remove)	Removes constraints from a constraints collection printing those constraints that have been removed.
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.
void	VariablesMap.removeAll(AbstractVariable declaration, java.util.Collection<Constraint> constraints)	Unrelates all constraints from declaration.

Constructors in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type Constraint

Constructor	Description
ConstraintTemplate(ConstraintList target, boolean first, Constraint constraint, boolean register)	Creates the constraint template.

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

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

Modifier and Type	Method	Description
protected void	AssignmentResolver.conflictingConstraint(Constraint constraint)	Will be called after a failure was detected in a Constraint.
protected void	AbstractConfigurationStatisticsVisitor.visitConstraint(Constraint constraint)	Processes a constraint.
void	AssignmentResolver.AssignBlockVisitor.visitConstraint(Constraint constraint)

Uses of Constraint in net.ssehub.easy.varModel.management

Methods in net.ssehub.easy.varModel.management with parameters of type Constraint

Modifier and Type	Method	Description
static java.lang.String	ModelCommentsPersistencer.getKey(Constraint cons)	Returns the key for a constraint.

Uses of Constraint in net.ssehub.easy.varModel.model

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

Modifier and Type	Field	Description
private java.util.List<Constraint>	BasicDecisionVariableContainer.constraints
private java.util.List<Constraint>	FullDecisionVariableContainer.realizing

Methods in net.ssehub.easy.varModel.model that return Constraint

Modifier and Type	Method	Description
Constraint	Constraint.createConstraint(ConstraintSyntaxTree consSyntax)	Creates a new constraint with same properties but changed constraint syntax tree.
Constraint	AttributeAssignment.getConstraint(int index)
Constraint	BasicDecisionVariableContainer.getConstraint(int index)
Constraint	IDecisionVariableContainer.getConstraint(int index)	Returns the specified contained constraint.
Constraint	AttributeAssignment.getRealizing(int index)
Constraint	BasicDecisionVariableContainer.getRealizing(int index)
Constraint	FullDecisionVariableContainer.getRealizing(int index)
Constraint	IDecisionVariableContainer.getRealizing(int index)	Returns the specified realizing constraint.

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

Modifier and Type	Method	Description
void	AttributeAssignment.addConstraint(Constraint constraint, boolean internal)
void	BasicDecisionVariableContainer.addConstraint(Constraint constraint, boolean internal)
void	FullDecisionVariableContainer.addConstraint(Constraint constraint, boolean internal)
void	IConstraintHolder.addConstraint(Constraint constraint)	Adds a constraint.
void	IDecisionVariableContainer.addConstraint(Constraint constraint, boolean internal)	Adds a constraint.
void	Project.addConstraint(Constraint constraint)
void	IModelVisitor.visitConstraint(Constraint constraint)	Method for visiting a constraint.
void	ModelStatistics.StatisticsVisitor.visitConstraint(Constraint constraint)
void	ModelVisitorAdapter.visitConstraint(Constraint constraint)

Uses of Constraint in net.ssehub.easy.varModel.model.datatypes

Fields in net.ssehub.easy.varModel.model.datatypes declared as Constraint

Modifier and Type	Field	Description
private Constraint[]	DerivedDatatype.constraints

Methods in net.ssehub.easy.varModel.model.datatypes that return Constraint

Modifier and Type	Method	Description
Constraint	Compound.getConstraint(int index)
Constraint	DerivedDatatype.getConstraint(int index)	Returns a specific constraint.
Constraint	Compound.getRealizing(int index)

Methods in net.ssehub.easy.varModel.model.datatypes with parameters of type Constraint

Modifier and Type	Method	Description
void	Compound.addConstraint(Constraint constraint)
void	Compound.addConstraint(Constraint constraint, boolean internal)
void	DerivedDatatype.setConstraints(Constraint[] constraints)	Changes the derivation constraints.

Constructors in net.ssehub.easy.varModel.model.datatypes with parameters of type Constraint

Constructor	Description
DerivedDatatype(java.lang.String name, IDatatype basisType, ModelElement parent, Constraint... constraints)	Constructor for the derived data type.

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

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

Modifier and Type	Field	Description
private java.util.List<Constraint>	ConstraintSeparator.allConstraints
private java.util.List<Constraint>	ConstraintSeparator.assignmentConstraints
private java.util.List<Constraint>	ConstraintFinder.constraints
private java.util.List<Constraint>	ConstraintFinder.evalConstraints
private java.util.List<Constraint>	ConstraintSeparator.normalConstraints

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

Modifier and Type	Method	Description
java.util.List<Constraint>	ConstraintSeparator.getAllConstraints()	Getter for returning all constraints of an ivml project.
java.util.List<Constraint>	ConstraintSeparator.getAssingmentConstraints()	Getter for returning all AssignmentConstraints of an ivml project.
java.util.List<Constraint>	ConstraintFinder.getConstraints()	Getter for returning all constraints (except eval) of an ivml project.
java.util.List<Constraint>	ConstraintFinder.getEvalConstraints()	Getter for returning eval constraints of an ivml project.
java.util.List<Constraint>	ConstraintSeparator.getNormalConstraints()	Getter for returning all non AssignmentConstraints of an ivml project.

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

Modifier and Type	Method	Description
void	AbstractDeclarationFinder.visitConstraint(Constraint constraint)
void	AbstractFrozenElementsFinder.visitConstraint(Constraint constraint)
void	AnnotationAssignmentFinder.visitConstraint(Constraint constraint)
void	ConstraintFinder.visitConstraint(Constraint constraint)
void	DatatypeFinder.visitConstraint(Constraint constraint)
void	DeclarationInContainerFinder.visitConstraint(Constraint constraint)
void	EvalBlockFinder.visitConstraint(Constraint constraint)
void	ModelElementTypeFinder.visitConstraint(Constraint constraint)
void	NamespaceFinder.visitConstraint(Constraint constraint)
void	ProjectInterfaceFinder.visitConstraint(Constraint constraint)

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

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

Modifier and Type	Method	Description
void	MandatoryDeclarationClassifier.visitConstraint(Constraint constraint)

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

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

Modifier and Type	Method	Description
private void	ProjectRewriteVisitor.copyConstraint(Constraint constraint)	Copies the given Constraint.
void	DeletedElementsCollector.visitConstraint(Constraint constraint)
void	InitialStructureCollector.visitConstraint(Constraint constraint)
void	ProjectCopyVisitor.visitConstraint(Constraint constraint)
void	ProjectRewriteVisitor.visitConstraint(Constraint constraint)

Uses of Constraint in net.ssehub.easy.varModel.model.search

Methods in net.ssehub.easy.varModel.model.search with parameters of type Constraint

Modifier and Type	Method	Description
void	PrefixSearchVisitor.visitConstraint(Constraint constraint)

Uses of Constraint in net.ssehub.easy.varModel.persistency

Methods in net.ssehub.easy.varModel.persistency with parameters of type Constraint

Modifier and Type	Method	Description
void	AbstractVarModelWriter.visitConstraint(Constraint constraint)
void	IVMLWriter.visitConstraint(Constraint constraint)
void	VariableUsage.visitConstraint(Constraint constraint)

Uses of Constraint in net.ssehub.easy.varModel.validation

Methods in net.ssehub.easy.varModel.validation with parameters of type Constraint

Modifier and Type	Method	Description
void	IvmlValidationVisitor.visitConstraint(Constraint constraint)