net.ssehub.easy.reasoning.sseReasoner.functions

Class ScopeAssignments

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

public class ScopeAssignments
extends java.lang.Object

Class contains variables that were assigned in a specific scope..

Author:

Sizonenko

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<net.ssehub.easy.varModel.confModel.IDecisionVariable>	currentScopeSet
private java.util.Map<net.ssehub.easy.varModel.model.IModelElement,java.util.Set<net.ssehub.easy.varModel.confModel.IDecisionVariable>>	scopeAssignments

Constructor Summary

Constructors

Constructor and Description
ScopeAssignments() Sole constructor.

Method Summary

Modifier and Type	Method and Description
void	addAssignedVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Method for registering a variable that was assigned.
void	clearScopeAssignments() Method for clearing all scope assignments.
void	setCurrentScope(net.ssehub.easy.varModel.model.Constraint constraint) Defines the current scope due to the parents of the given constraint.
void	setCurrentScope(net.ssehub.easy.varModel.model.IModelElement currentScope) Defines the current scope.
boolean	wasAssignedInThisScope(net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Method for determining if variable was assigned in the specific scope.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

scopeAssignments

private java.util.Map<net.ssehub.easy.varModel.model.IModelElement,java.util.Set<net.ssehub.easy.varModel.confModel.IDecisionVariable>> scopeAssignments

currentScopeSet

private transient java.util.Set<net.ssehub.easy.varModel.confModel.IDecisionVariable> currentScopeSet

Constructor Detail

ScopeAssignments

public ScopeAssignments()

Sole constructor.

Method Detail

addAssignedVariable

public void addAssignedVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Method for registering a variable that was assigned. Call setCurrentScope(IModelElement) before.

Parameters:

variable - Assigned variable.

wasAssignedInThisScope

public boolean wasAssignedInThisScope(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Method for determining if variable was assigned in the specific scope. Call setCurrentScope(IModelElement) before.

Parameters:

variable - Variable under question.

Returns:

True if variable already was assigned in this scope.

clearScopeAssignments

public void clearScopeAssignments()

Method for clearing all scope assignments.

setCurrentScope

public void setCurrentScope(net.ssehub.easy.varModel.model.Constraint constraint)

Defines the current scope due to the parents of the given constraint.

Parameters:

constraint - defining the current scope

setCurrentScope

public void setCurrentScope(net.ssehub.easy.varModel.model.IModelElement currentScope)

Defines the current scope.

Parameters:

currentScope - the current scope