net.ssehub.easy.reasoning.sseReasoner

Class Resolver

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.Resolver

All Implemented Interfaces:

net.ssehub.easy.varModel.cstEvaluation.IResolutionListener

class Resolver
extends java.lang.Object
implements net.ssehub.easy.varModel.cstEvaluation.IResolutionListener

Constraint identifier, resolver and executor. Assumption that constraints are not evaluated in parallel (see some comments). This resolver can be re-used. Therefore, call markForReuse() before the first call to resolve() and after reasoning completed, call clear(). When performing a further reasoning on this instance, call reInit().

Author:

Sizonenko, El-Sharkawy, Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	Resolver.CompoundAnnotationMapper Implements a compound annotation mapper.
private class	Resolver.ConstraintTranslationVisitor Visits the contents of a project for translation.
private class	Resolver.OtherConstraintsProcessor Implements a processor for constraints, for which variables (including the variable mapping) shall be substituted and the result shall be added to otherConstraints.
private static class	Resolver.ReasonerState Represents the state of the resolver/reasoner to be kept in case of incremental reasoning.

Field Summary

Fields

Modifier and Type	Field and Description
private Resolver.CompoundAnnotationMapper	annotationMapper
private net.ssehub.easy.varModel.confModel.IAssignmentState	assignmentState
private net.ssehub.easy.varModel.confModel.Configuration	config
private net.ssehub.easy.reasoning.core.reasoner.ConstraintBase	constraintBase
private int	constraintCounter
private ContextStack	contexts
private Resolver.ReasonerState	copiedState
private net.ssehub.easy.reasoning.core.reasoner.ConstraintList	defaultConstraints
private net.ssehub.easy.reasoning.core.reasoner.ConstraintList	deferredDefaultConstraints
private long	endTimestamp
private long	evaluationTime
private EvalVisitor	evaluator
private FailedElements	failedElements
private boolean	hasTimeout
private boolean	incremental
private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration.IAdditionalInformationLogger	infoLogger
private CheckInitializerVisitor	initChecker
private net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor	interceptor
private boolean	inTopLevelEvals
private boolean	isRunning
private static net.ssehub.easy.basics.logger.EASyLoggerFactory.EASyLogger	LOGGER
private static int	MODE_COMPOUND_ANYWAY
private static int	MODE_COMPOUND_NONE
private static int	MODE_COMPOUND_REGISTER
private static int	MODE_COMPOUND_TRANSLATE
private net.ssehub.easy.reasoning.core.reasoner.ConstraintList	otherConstraints
private Resolver.OtherConstraintsProcessor	otherConstraintsProc
private net.ssehub.easy.varModel.model.Project	project
private java.util.List<net.ssehub.easy.varModel.model.Project>	projects
private Resolver.ConstraintTranslationVisitor	projectVisitor
private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration	reasonerConfig
private int	reevaluationCounter
private RescheduleValueChangeVisitor	rescheduler
private boolean	reuseInstance
private ScopeAssignments	scopeAssignments
private VariablesInNotSimpleAssignmentConstraintsFinder	simpleAssignmentFinder
private SubstitutionVisitor	substVisitor
private net.ssehub.easy.reasoning.core.reasoner.ConstraintList	topLevelConstraints
private long	translationTime
private java.util.Set<net.ssehub.easy.varModel.confModel.IDecisionVariable>	usedVariables
private int	variablesCounter
private VariablesInConstraintFinder	variablesFinder
private int	variablesInConstraintsCounter
private VariablesMap	variablesMap
private boolean	wasStopped

Constructor Summary

Constructors

Constructor and Description
Resolver(net.ssehub.easy.varModel.confModel.Configuration config, net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig) Main constructor that activates Resolver constructor.
Resolver(net.ssehub.easy.varModel.model.Project project, net.ssehub.easy.varModel.confModel.Configuration config, net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig) Main constructor that activates Resolver constructor.
Resolver(net.ssehub.easy.varModel.model.Project project, net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig) Main constructor that activates Resolver constructor with clean Configuration.

Method Summary

Modifier and Type	Method and Description
(package private) void	addAssignedVariableToScope(net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Adds an assigned variable to the current scope.
private void	addConstraint(net.ssehub.easy.reasoning.core.reasoner.ConstraintList target, net.ssehub.easy.varModel.model.Constraint constraint, boolean checkForInitializers, net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Adding a constraint to a constraint set, checking for contained container/compound initializers if requested.
private void	analyzeEvaluationResult(net.ssehub.easy.varModel.model.Constraint constraint) Records information about the evaluation result, failed evaluation messages.
(package private) void	clear() Clears this instance for reuse to free most of the resources.
private void	conflictingDefault(net.ssehub.easy.varModel.model.AbstractVariable decl) Will be called after a failure was detected in a default constraint of an AbstractVariable.
(package private) int	constraintCount() Method for returning the overall count of evaluated constraints in the model.
(package private) boolean	contextContainsMapping(net.ssehub.easy.varModel.model.AbstractVariable var) Returns whether the current context contains a mapping for var.
(package private) void	contextRegisterMapping(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree acc) Registers a mapping between the variable var and its actual access expression acc into the current top-most context.
private net.ssehub.easy.varModel.confModel.Configuration	createCleanConfiguration(net.ssehub.easy.varModel.model.Project project) Method for creating a clean Configuration.
(package private) net.ssehub.easy.varModel.model.Constraint	createConstraintVariableConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst, net.ssehub.easy.varModel.model.AbstractVariable self, boolean checkForInitializers, net.ssehub.easy.varModel.model.IModelElement parent, net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Creates a constraint for a (nested) constraint variable adding the result to otherConstraints.
(package private) net.ssehub.easy.varModel.model.Constraint	createConstraintVariableConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx, net.ssehub.easy.varModel.model.AbstractVariable self, net.ssehub.easy.varModel.model.IModelElement parent, net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Creates a constraint for a (nested) constraint variable adding the result to #constraintVariablesConstraints.
(package private) void	createContainerConstraintValueConstraints(net.ssehub.easy.varModel.model.values.ContainerValue val, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx, net.ssehub.easy.varModel.model.AbstractVariable self, net.ssehub.easy.varModel.model.IModelElement parent, net.ssehub.easy.varModel.confModel.IDecisionVariable nestedVariable) Checks a container value for nested constraint values, i.e., values of nested constraint variables.
protected net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor	createEvaluationVisitor() Factory method for creating the evaluation visitor.
private void	evaluateConstraintBase(long start, net.ssehub.easy.varModel.model.Project project) Evaluates all constraints in the constraint base.
private void	evaluateConstraints(net.ssehub.easy.varModel.model.Project project) Evaluates and reschedules failed constraints.
(package private) net.ssehub.easy.varModel.confModel.IDecisionVariable	getConstraintVariable(net.ssehub.easy.varModel.model.Constraint constraint) Returns the variable currently assigned to constraint.
(package private) long	getEvaluationTime() Returns the time used for evaluation.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	getFailedConstraintPart() Method for checking part of a failed constraints against null.
(package private) FailedElements	getFailedElements() Method for retrieving FailedElements with failed Constraints and IDecisionVariables.
(package private) long	getTranslationTime() Returns the time used for translation.
(package private) boolean	hasTimeout() Returns whether reasoning stopped due to a timeout.
(package private) boolean	isRunning() Returns whether the reasoner is (still) operating.
void	localVariableCreated(net.ssehub.easy.varModel.cstEvaluation.LocalDecisionVariable var)
void	localVariableDisposed(net.ssehub.easy.varModel.cstEvaluation.LocalDecisionVariable var)
(package private) void	markForReuse() Marks this instance for re-use.
(package private) void	moveOtherConstraintsToConstraintBase(net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Moves (temporary) constraints in otherConstraints as created by constraint translation to the constraint base.
void	notifyResolved(net.ssehub.easy.varModel.model.AbstractVariable declaration, net.ssehub.easy.varModel.confModel.IDecisionVariable resolved)
void	notifyResolved(net.ssehub.easy.varModel.confModel.IDecisionVariable compound, java.lang.String slotName, net.ssehub.easy.varModel.confModel.IDecisionVariable resolved)
(package private) java.util.List<net.ssehub.easy.varModel.model.Constraint>	obtainConstraints(net.ssehub.easy.varModel.confModel.IDecisionVariable variable, boolean clear, java.util.Set<net.ssehub.easy.varModel.model.datatypes.Compound> deleteFilter) Obtains and if specified clears old constraints in the internal reasoner data structures.
private void	processCompoundEvals(net.ssehub.easy.varModel.model.datatypes.Compound cmpType, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx, net.ssehub.easy.varModel.model.AbstractVariable self) Method for extracting constraints from compounds eval blocks (also refined compounds).
private void	processEvalConstraints(net.ssehub.easy.varModel.model.PartialEvaluationBlock evalBlock, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx, net.ssehub.easy.varModel.model.AbstractVariable self) Method for handling eval blocks - searching for nested eval blocks and extracting constraints.
(package private) int	reevaluationCount() Method for returning the overall number of reevaluations in the model.
private void	registerCompoundMapping(net.ssehub.easy.varModel.model.datatypes.Compound type, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc, net.ssehub.easy.varModel.confModel.IDecisionVariable var, net.ssehub.easy.varModel.cst.Variable declVar, net.ssehub.easy.varModel.model.datatypes.IDatatype target) Registers the mapping for a compound type.
private void	registerConstraint(net.ssehub.easy.varModel.confModel.IDecisionVariable variable, net.ssehub.easy.varModel.model.Constraint constraint) Registers a variable and associated constraint.
(package private) void	reInit() Re-initializes this resolver instance to allocated resources only if really needed.
(package private) void	reschedule(net.ssehub.easy.varModel.model.AbstractVariable declaration) Tries rescheduling the given constraints.
void	resolve() Resolves the (initial) values of the configuration.
(package private) void	setAssignmentState(net.ssehub.easy.varModel.confModel.IAssignmentState state) Sets the desired assignment state.
(package private) boolean	setIncremental(boolean incremental) Sets whether reasoning shall happen incrementally.
(package private) void	setInterceptor(net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor) Defines the optional interceptor instance.
(package private) boolean	stop() Stops/terminates reasoning.
(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	substituteVariables(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx, net.ssehub.easy.varModel.model.AbstractVariable self) Method for using SubstitutionVisitor for constraint transformation.
private void	translateAnnotationAssignment(net.ssehub.easy.varModel.model.AttributeAssignment.Assignment assignment, net.ssehub.easy.varModel.model.DecisionVariableDeclaration element, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree compound) Method for creating attribute constraint for a specific element.
private void	translateAnnotationAssignments(net.ssehub.easy.varModel.model.AttributeAssignment assignment, net.ssehub.easy.varModel.confModel.IDecisionVariable var, java.util.List<net.ssehub.easy.varModel.model.AttributeAssignment.Assignment> effectiveAssignments, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree compound) Translates attribute assignments.
private void	translateAnnotationDeclaration(net.ssehub.easy.varModel.model.Attribute decl, net.ssehub.easy.varModel.confModel.IDecisionVariable variable, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc) Translates an annotation declaration.
private void	translateAnnotationDeclarations(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.confModel.IDecisionVariable variable, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc) Translates annotation declarations.
private void	translateCompoundContainer(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.model.datatypes.Compound type, net.ssehub.easy.varModel.model.datatypes.IDatatype declaredContainedType, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc) Translates an entire compound container decl including defaults and constraints for the specific type cmpType (iterate through all relevant types).
private void	translateCompoundContent(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.confModel.IDecisionVariable variable, net.ssehub.easy.varModel.model.datatypes.Compound type, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc) Translates the compound content.
private int	translateCompoundDeclaration(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.confModel.IDecisionVariable variable, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc, net.ssehub.easy.varModel.model.datatypes.Compound type, int mode) Translates translating compound type declarations, but only if not ContextStack.alreadyProcessed(IDatatype) in nested collection/compound types.
private void	translateConstraints(net.ssehub.easy.varModel.model.Project project) Translates and collects all constraints in project by adding the collected constraints to the constraintBase.
private void	translateContainerDeclaration(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.confModel.IDecisionVariable var, net.ssehub.easy.varModel.model.datatypes.IDatatype type, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc) Translates the (transitive) defaults and type constraints for a container declaration.
private void	translateDeclaration(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.confModel.IDecisionVariable var, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc) Translates the (transitive) defaults and type constraints for a declaration.
private void	translateDerivedDatatypeConstraints(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.model.datatypes.IDatatype type, net.ssehub.easy.varModel.model.DecisionVariableDeclaration localDecl, net.ssehub.easy.varModel.model.IModelElement parent, int refCounter) Extracts, translates and collects the internal constraints of type (if derived or, transitively, a reference datatype) and stores the constraints in #derivedTypeConstraints.
(package private) void	translateValueTypeChange(net.ssehub.easy.varModel.confModel.IDecisionVariable variable, net.ssehub.easy.varModel.model.values.Value newValue, net.ssehub.easy.varModel.model.values.Value oldValue) Translates/reschedules a change of value types for compound values.
(package private) int	variableCount() Method for returning the overall number of variables in the model.
(package private) int	variableInConstraintCount() Method for returning the number of variables involved in constraints.
(package private) boolean	wasStopped() Returns whether reasoning was stopped due to a user-request.

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER

private static final net.ssehub.easy.basics.logger.EASyLoggerFactory.EASyLogger LOGGER

MODE_COMPOUND_ANYWAY

private static final int MODE_COMPOUND_ANYWAY

See Also:

Constant Field Values

MODE_COMPOUND_REGISTER

private static final int MODE_COMPOUND_REGISTER

See Also:

Constant Field Values

MODE_COMPOUND_TRANSLATE

private static final int MODE_COMPOUND_TRANSLATE

See Also:

Constant Field Values

MODE_COMPOUND_NONE

private static final int MODE_COMPOUND_NONE

See Also:

Constant Field Values

infoLogger

private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration.IAdditionalInformationLogger infoLogger

reasonerConfig

private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig

config

private net.ssehub.easy.varModel.confModel.Configuration config

incremental

private boolean incremental

reuseInstance

private boolean reuseInstance

assignmentState

private net.ssehub.easy.varModel.confModel.IAssignmentState assignmentState

interceptor

private net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor

evaluator

private EvalVisitor evaluator

failedElements

private FailedElements failedElements

scopeAssignments

private ScopeAssignments scopeAssignments

variablesMap

private VariablesMap variablesMap

copiedState

private Resolver.ReasonerState copiedState

constraintBase

private net.ssehub.easy.reasoning.core.reasoner.ConstraintBase constraintBase

defaultConstraints

private net.ssehub.easy.reasoning.core.reasoner.ConstraintList defaultConstraints

deferredDefaultConstraints

private net.ssehub.easy.reasoning.core.reasoner.ConstraintList deferredDefaultConstraints

topLevelConstraints

private net.ssehub.easy.reasoning.core.reasoner.ConstraintList topLevelConstraints

otherConstraints

private net.ssehub.easy.reasoning.core.reasoner.ConstraintList otherConstraints

projects

private java.util.List<net.ssehub.easy.varModel.model.Project> projects

constraintCounter

private int constraintCounter

variablesInConstraintsCounter

private int variablesInConstraintsCounter

reevaluationCounter

private int reevaluationCounter

variablesCounter

private int variablesCounter

hasTimeout

private boolean hasTimeout

isRunning

private boolean isRunning

wasStopped

private boolean wasStopped

translationTime

private long translationTime

evaluationTime

private long evaluationTime

project

private net.ssehub.easy.varModel.model.Project project

usedVariables

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

substVisitor

private transient SubstitutionVisitor substVisitor

contexts

private transient ContextStack contexts

simpleAssignmentFinder

private transient VariablesInNotSimpleAssignmentConstraintsFinder simpleAssignmentFinder

projectVisitor

private transient Resolver.ConstraintTranslationVisitor projectVisitor

variablesFinder

private transient VariablesInConstraintFinder variablesFinder

otherConstraintsProc

private transient Resolver.OtherConstraintsProcessor otherConstraintsProc

annotationMapper

private transient Resolver.CompoundAnnotationMapper annotationMapper

rescheduler

private transient RescheduleValueChangeVisitor rescheduler

initChecker

private transient CheckInitializerVisitor initChecker

endTimestamp

private transient long endTimestamp

inTopLevelEvals

private transient boolean inTopLevelEvals

Constructor Detail

Resolver

public Resolver(net.ssehub.easy.varModel.model.Project project,
                net.ssehub.easy.varModel.confModel.Configuration config,
                net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig)

Main constructor that activates Resolver constructor.

Parameters:

project - Project for evaluation.

config - Configuration to reason on.

reasonerConfig - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

Resolver

public Resolver(net.ssehub.easy.varModel.model.Project project,
                net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig)

Main constructor that activates Resolver constructor with clean Configuration.

Parameters:

project - Project for evaluation.

reasonerConfig - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

Resolver

public Resolver(net.ssehub.easy.varModel.confModel.Configuration config,
                net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfig)

Main constructor that activates Resolver constructor.

Parameters:

config - Configuration to reason on.

reasonerConfig - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

Method Detail

localVariableCreated

public void localVariableCreated(net.ssehub.easy.varModel.cstEvaluation.LocalDecisionVariable var)

Specified by:

localVariableCreated in interface net.ssehub.easy.varModel.cstEvaluation.IResolutionListener

localVariableDisposed

public void localVariableDisposed(net.ssehub.easy.varModel.cstEvaluation.LocalDecisionVariable var)

Specified by:

localVariableDisposed in interface net.ssehub.easy.varModel.cstEvaluation.IResolutionListener

translateValueTypeChange

void translateValueTypeChange(net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                              net.ssehub.easy.varModel.model.values.Value newValue,
                              net.ssehub.easy.varModel.model.values.Value oldValue)

Translates/reschedules a change of value types for compound values. Precondition: constraints are correctly assigned before, oldValue != newValue and both, oldValue and newValue are not null.

Parameters:

variable - the variable

newValue - the new value (in variable

oldValue - the old value

obtainConstraints

java.util.List<net.ssehub.easy.varModel.model.Constraint> obtainConstraints(net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                                                                            boolean clear,
                                                                            java.util.Set<net.ssehub.easy.varModel.model.datatypes.Compound> deleteFilter)

Obtains and if specified clears old constraints in the internal reasoner data structures.

Parameters:

variable - the variable to return the constraints for

clear - true for clear variables, false for leave them as they are

deleteFilter - compound types dictating those constraints having them as attached object that shall be deleted while others shall be left untouched (may be null for delete all constraints if clear is true.

Returns:

the constraints stored for variable, may be null

moveOtherConstraintsToConstraintBase

void moveOtherConstraintsToConstraintBase(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Moves (temporary) constraints in otherConstraints as created by constraint translation to the constraint base. Relates constraints with #variable.

Parameters:

variable - the variable to relate constraints to (may be null, ignored then)

reschedule

void reschedule(net.ssehub.easy.varModel.model.AbstractVariable declaration)

Tries rescheduling the given constraints. Does not add a constraint to the constraint base if already scheduled.

Parameters:

declaration - the variable declaration to reschedule

notifyResolved

public void notifyResolved(net.ssehub.easy.varModel.confModel.IDecisionVariable compound,
                           java.lang.String slotName,
                           net.ssehub.easy.varModel.confModel.IDecisionVariable resolved)

Specified by:

notifyResolved in interface net.ssehub.easy.varModel.cstEvaluation.IResolutionListener

notifyResolved

public void notifyResolved(net.ssehub.easy.varModel.model.AbstractVariable declaration,
                           net.ssehub.easy.varModel.confModel.IDecisionVariable resolved)

Specified by:

notifyResolved in interface net.ssehub.easy.varModel.cstEvaluation.IResolutionListener

resolve

public void resolve()

Resolves the (initial) values of the configuration.

See Also:

Utils.discoverImports(net.ssehub.easy.basics.modelManagement.IModel), translateConstraints(Project), evaluateConstraintBase(long, Project), Configuration.freeze(net.ssehub.easy.varModel.confModel.IFreezeSelector)

evaluateConstraintBase

private void evaluateConstraintBase(long start,
                                    net.ssehub.easy.varModel.model.Project project)

Evaluates all constraints in the constraint base.

Parameters:

start - the start point in time for reasoning statistics

project - the project to evaluate

See Also:

evaluateConstraints(Project)

evaluateConstraints

private void evaluateConstraints(net.ssehub.easy.varModel.model.Project project)

Evaluates and reschedules failed constraints.

Parameters:

project - the project to evaluate the constraints for

See Also:

resolve()

translateDerivedDatatypeConstraints

private void translateDerivedDatatypeConstraints(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                                 net.ssehub.easy.varModel.model.datatypes.IDatatype type,
                                                 net.ssehub.easy.varModel.model.DecisionVariableDeclaration localDecl,
                                                 net.ssehub.easy.varModel.model.IModelElement parent,
                                                 int refCounter)

Extracts, translates and collects the internal constraints of type (if derived or, transitively, a reference datatype) and stores the constraints in #derivedTypeConstraints.

Parameters:

decl - VariableDeclaration of DerivedDatatype

type - the type to translate

localDecl - the declaration of an iterator variable if quantified constraints shall be created, null for normal constraints

parent - the parent model element for creating constraint instances

refCounter - the number of intermediary reference types on the path from the top-most call (call with 0)

translateAnnotationDeclarations

private void translateAnnotationDeclarations(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                             net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                                             net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc)

Translates annotation declarations.

Parameters:

decl - AbstractVariable with annotations.

variable - IDecisionVariable with annotations.

cAcc - CompoundAccess null if variable is not nested, else accessor expression to variable.

translateAnnotationDeclaration

private void translateAnnotationDeclaration(net.ssehub.easy.varModel.model.Attribute decl,
                                            net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                                            net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc)

Translates an annotation declaration.

Parameters:

decl - AbstractVariable with annotations.

variable - IDecisionVariable with annotations.

cAcc - CompoundAccess null if variable is not nested, else accessor expression to variable.

translateDeclaration

private void translateDeclaration(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                  net.ssehub.easy.varModel.confModel.IDecisionVariable var,
                                  net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc)

Translates the (transitive) defaults and type constraints for a declaration.

Parameters:

decl - The AbstractVariable for which the default value should be resolved.

var - the instance of decl (may be null for type-based translation).

cAcc - if variable is a nested compound.

translateContainerDeclaration

private void translateContainerDeclaration(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                           net.ssehub.easy.varModel.confModel.IDecisionVariable var,
                                           net.ssehub.easy.varModel.model.datatypes.IDatatype type,
                                           net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc)

Translates the (transitive) defaults and type constraints for a container declaration.

Parameters:

decl - The AbstractVariable for which the default value should be resolved.

var - the instance of decl (may be null for type-based translation).

type - the (specific) datatype (Container)

cAcc - compound access expression

translateCompoundContainer

private void translateCompoundContainer(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                        net.ssehub.easy.varModel.model.datatypes.Compound type,
                                        net.ssehub.easy.varModel.model.datatypes.IDatatype declaredContainedType,
                                        net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc)

Translates an entire compound container decl including defaults and constraints for the specific type cmpType (iterate through all relevant types).

Parameters:

decl - the declaration

type - the compound type to translate for

declaredContainedType - the declared contained type of decl

cAcc - compound access to decl if needed (may be null)

translateCompoundDeclaration

private int translateCompoundDeclaration(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                         net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                                         net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc,
                                         net.ssehub.easy.varModel.model.datatypes.Compound type,
                                         int mode)

Translates translating compound type declarations, but only if not ContextStack.alreadyProcessed(IDatatype) in nested collection/compound types.

Parameters:

decl - The AbstractVariable for which the default value should be resolved.

variable - the instance of decl (may be null for based-type translation).

cAcc - if variable is a nested compound, the access expression to decl/variable

type - specific Compound type.

mode - the processing mode, either MODE_COMPOUND_ANYWAY for processing the full compound, MODE_COMPOUND_REGISTER for just registering the compound slot accessor expressions, which must either be followed with MODE_COMPOUND_TRANSLATE or ContextStack.popContext() on the same nesting level. Not processing a complete compound allows keeping the registered scope open for processing related (default) value expressions that may refer to compound slots. May also be MODE_COMPOUND_NONE for not processing anything.

Returns:

the next mode for calling this method again with the same parameters, typically MODE_COMPOUND_NONE or MODE_COMPOUND_TRANSLATE if mode was MODE_COMPOUND_REGISTER

registerCompoundMapping

private void registerCompoundMapping(net.ssehub.easy.varModel.model.datatypes.Compound type,
                                     net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc,
                                     net.ssehub.easy.varModel.confModel.IDecisionVariable var,
                                     net.ssehub.easy.varModel.cst.Variable declVar,
                                     net.ssehub.easy.varModel.model.datatypes.IDatatype target)

Registers the mapping for a compound type.

Parameters:

type - the compound type

cAcc - the accessor expression (may be null)

var - the variable we are processing for (may be null for type translations)

declVar - the compound variable as expression

target - the specific target type to cast to (may be null or type for no cast)

translateCompoundContent

private void translateCompoundContent(net.ssehub.easy.varModel.model.AbstractVariable decl,
                                      net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                                      net.ssehub.easy.varModel.model.datatypes.Compound type,
                                      net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc)

Translates the compound content.

Parameters:

decl - the compound variable (self, instead of cAcc)

variable - the decision variable holding decl, may be null - ignored then

type - the (specific) compound type

cAcc - the compound access expression

processCompoundEvals

private void processCompoundEvals(net.ssehub.easy.varModel.model.datatypes.Compound cmpType,
                                  net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx,
                                  net.ssehub.easy.varModel.model.AbstractVariable self)

Method for extracting constraints from compounds eval blocks (also refined compounds).

Parameters:

cmpType - Compound to be analyzed

selfEx - an expression representing self (ignored if null, self and selfEx shall never both be specified/not null).

self - an variable declaration representing self (ignored if null).

processEvalConstraints

private void processEvalConstraints(net.ssehub.easy.varModel.model.PartialEvaluationBlock evalBlock,
                                    net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx,
                                    net.ssehub.easy.varModel.model.AbstractVariable self)

Method for handling eval blocks - searching for nested eval blocks and extracting constraints.

Parameters:

evalBlock - Eval block to be processed.

selfEx - an expression representing self (ignored if null, self and selfEx shall never both be specified/not null).

self - an variable declaration representing self (ignored if null).

createContainerConstraintValueConstraints

void createContainerConstraintValueConstraints(net.ssehub.easy.varModel.model.values.ContainerValue val,
                                               net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx,
                                               net.ssehub.easy.varModel.model.AbstractVariable self,
                                               net.ssehub.easy.varModel.model.IModelElement parent,
                                               net.ssehub.easy.varModel.confModel.IDecisionVariable nestedVariable)

Checks a container value for nested constraint values, i.e., values of nested constraint variables.

Parameters:

val - the container value

selfEx - expression representing self, must never be not null in conjunction with self

self - the variable declaration representing self, must never be not null in conjunction with self

parent - the parent for new constraints

nestedVariable - the variable holding the constraint value

translateAnnotationAssignments

private void translateAnnotationAssignments(net.ssehub.easy.varModel.model.AttributeAssignment assignment,
                                            net.ssehub.easy.varModel.confModel.IDecisionVariable var,
                                            java.util.List<net.ssehub.easy.varModel.model.AttributeAssignment.Assignment> effectiveAssignments,
                                            net.ssehub.easy.varModel.cst.ConstraintSyntaxTree compound)

Translates attribute assignments. It is important to recall that in case of nested (orthogonal) attribute assignments, the outer one(s) must also be applied to the inner ones.

Parameters:

assignment - Attribute assignments on top-level.

var - variable holding the assignment, may be null for translating types

effectiveAssignments - the list of effective current assignments, use null if not recursive.

compound - Parent CompoundAccess.

translateAnnotationAssignment

private void translateAnnotationAssignment(net.ssehub.easy.varModel.model.AttributeAssignment.Assignment assignment,
                                           net.ssehub.easy.varModel.model.DecisionVariableDeclaration element,
                                           net.ssehub.easy.varModel.cst.ConstraintSyntaxTree compound)

Method for creating attribute constraint for a specific element.

Parameters:

assignment - Attribute assignment constraint.

element - Elements to which the attribute is assigned.

compound - Nesting compound if there is one, may be null for none.

translateConstraints

private void translateConstraints(net.ssehub.easy.varModel.model.Project project)

Translates and collects all constraints in project by adding the collected constraints to the constraintBase.

Parameters:

project - the project to translate the constraints for

See Also:

resolve()

addConstraint

private void addConstraint(net.ssehub.easy.reasoning.core.reasoner.ConstraintList target,
                           net.ssehub.easy.varModel.model.Constraint constraint,
                           boolean checkForInitializers,
                           net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Adding a constraint to a constraint set, checking for contained container/compound initializers if requested.

Parameters:

target - the target container for assignment constraints (higher priority)

constraint - the constraint

checkForInitializers - check also for initializers if (true), add only if (false)

variable - the actually (nested) variable, used to relate the created constraint to, may be null. This information is particularly relevant for constraints arising from constraint variables.

createConstraintVariableConstraint

net.ssehub.easy.varModel.model.Constraint createConstraintVariableConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
                                                                             net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx,
                                                                             net.ssehub.easy.varModel.model.AbstractVariable self,
                                                                             net.ssehub.easy.varModel.model.IModelElement parent,
                                                                             net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Creates a constraint for a (nested) constraint variable adding the result to #constraintVariablesConstraints. Performs initializers check upon adding if cst is not a ConstantValue.

Parameters:

cst - the constraint

selfEx - the expression representing self in cst, both, self and selfEx must not be different from null at the same time (may be null for none)

self - the declaration of the variable representing self in cst (may be null for none)

parent - the parent for new constraints

variable - the actually (nested) variable, used to relate the created constraint to, may be null

Returns:

the created constraint

See Also:

createConstraintVariableConstraint(ConstraintSyntaxTree, AbstractVariable, boolean, IModelElement, IDecisionVariable)

createConstraintVariableConstraint

net.ssehub.easy.varModel.model.Constraint createConstraintVariableConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
                                                                             net.ssehub.easy.varModel.model.AbstractVariable self,
                                                                             boolean checkForInitializers,
                                                                             net.ssehub.easy.varModel.model.IModelElement parent,
                                                                             net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Creates a constraint for a (nested) constraint variable adding the result to otherConstraints. Registers the constraint if needed.

Parameters:

cst - the constraint

self - the declaration of the variable representing self in cst (may be null for none), just used for logging

checkForInitializers - whether initializers shall be checked (recursively) when adding aconstraint

parent - the parent for new constraints

variable - the actually (nested) variable, used to relate the created constraint to, may be null

Returns:

the created constraint

See Also:

addConstraint(ConstraintList, Constraint, boolean, IDecisionVariable), registerConstraint(IDecisionVariable, Constraint)

registerConstraint

private void registerConstraint(net.ssehub.easy.varModel.confModel.IDecisionVariable variable,
                                net.ssehub.easy.varModel.model.Constraint constraint)

Registers a variable and associated constraint.

Parameters:

variable - the variable (may be null, call is ignored then)

constraint - the constraint

See Also:

#register(IDecisionVariable, Constraint, Map, Map)

analyzeEvaluationResult

private void analyzeEvaluationResult(net.ssehub.easy.varModel.model.Constraint constraint)

Records information about the evaluation result, failed evaluation messages.

Parameters:

constraint - the constraint to record the actual messages for

substituteVariables

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree substituteVariables(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
                                                                      net.ssehub.easy.varModel.cst.ConstraintSyntaxTree selfEx,
                                                                      net.ssehub.easy.varModel.model.AbstractVariable self)

Method for using SubstitutionVisitor for constraint transformation. Uses the actual variable mapping in #varMap and may consider a mapping for self.

Parameters:

cst - Constraint to be transformed.

selfEx - an expression representing self (ignored if null, self and selfEx shall never both be specified/not null).

self - an variable declaration representing self (ignored if null).

Returns:

Transformed constraint.

conflictingDefault

private void conflictingDefault(net.ssehub.easy.varModel.model.AbstractVariable decl)

Will be called after a failure was detected in a default constraint of an AbstractVariable.

Parameters:

decl - The conflicting declaration of an AbstractVariable. Call AbstractVariable.getDefaultValue() to retrieve the conflicting constraint.

createCleanConfiguration

private net.ssehub.easy.varModel.confModel.Configuration createCleanConfiguration(net.ssehub.easy.varModel.model.Project project)

Method for creating a clean Configuration.

Parameters:

project - Project for Configuration

Returns:

Created Configuration

getFailedConstraintPart

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree getFailedConstraintPart()

Method for checking part of a failed constraints against null.

Returns:

null or part of a failed constraint.

getConstraintVariable

net.ssehub.easy.varModel.confModel.IDecisionVariable getConstraintVariable(net.ssehub.easy.varModel.model.Constraint constraint)

Returns the variable currently assigned to constraint.

Parameters:

constraint - the constraint to look for

Returns:

the variable, may be null for none.

constraintCount

int constraintCount()

Method for returning the overall count of evaluated constraints in the model.

Returns:

number of evaluated constraints.

variableCount

int variableCount()

Method for returning the overall number of variables in the model.

Returns:

number of variables.

variableInConstraintCount

int variableInConstraintCount()

Method for returning the number of variables involved in constraints.

Returns:

number of variables.

reevaluationCount

int reevaluationCount()

Method for returning the overall number of reevaluations in the model.

Returns:

number of reevaluations.

getFailedElements

FailedElements getFailedElements()

Method for retrieving FailedElements with failed Constraints and IDecisionVariables.

Returns:

FailedElements

setIncremental

boolean setIncremental(boolean incremental)

Sets whether reasoning shall happen incrementally.

Parameters:

incremental - if reasoning shall happen incrementally

Returns:

the old value of the incremental flag before changing to incremental

See Also:

#setConsiderFrozenConstraints(boolean)

createEvaluationVisitor

protected net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor createEvaluationVisitor()

Factory method for creating the evaluation visitor.

Returns:

the evaluation visitor

hasTimeout

boolean hasTimeout()

Returns whether reasoning stopped due to a timeout.

Returns:

true for timeout, false else

wasStopped

boolean wasStopped()

Returns whether reasoning was stopped due to a user-request.

Returns:

true for stopped, false else

isRunning

boolean isRunning()

Returns whether the reasoner is (still) operating.

Returns:

true for operating, false else

stop

boolean stop()

Stops/terminates reasoning. If possible, a reasoner shall stop the reasoning operations as quick as possible. A reasoner must not implement this operation.

Returns:

true if the reasoner tries to stop, false else (operation not implemented)

markForReuse

void markForReuse()

Marks this instance for re-use. Must be called before the first call to resolve(). Works intentionally only once.

clear

void clear()

Clears this instance for reuse to free most of the resources.

See Also:

markForReuse(), reInit()

reInit

void reInit()

Re-initializes this resolver instance to allocated resources only if really needed.

See Also:

markForReuse(), reInit()

getEvaluationTime

long getEvaluationTime()

Returns the time used for evaluation.

Returns:

the time in ms

getTranslationTime

long getTranslationTime()

Returns the time used for translation.

Returns:

the time in ms

setAssignmentState

void setAssignmentState(net.ssehub.easy.varModel.confModel.IAssignmentState state)

Sets the desired assignment state. The default value is AssignmentState.DERIVED, but specific reasoning operations such as configuration initialization may require a different state.

Parameters:

state - the state to use

setInterceptor

void setInterceptor(net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor)

Defines the optional interceptor instance.

Parameters:

interceptor - the interceptor

addAssignedVariableToScope

final void addAssignedVariableToScope(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Adds an assigned variable to the current scope.

Parameters:

variable - the variable to add to the scope

contextContainsMapping

final boolean contextContainsMapping(net.ssehub.easy.varModel.model.AbstractVariable var)

Returns whether the current context contains a mapping for var.

Parameters:

var - the variable to look for

Returns:

true if there is a mapping, false else

contextRegisterMapping

final void contextRegisterMapping(net.ssehub.easy.varModel.model.AbstractVariable var,
                                  net.ssehub.easy.varModel.cst.ConstraintSyntaxTree acc)

Registers a mapping between the variable var and its actual access expression acc into the current top-most context. Overrides any existing mapping in the top-most context. Preceeds any existing mapping in a previous still active context.

Parameters:

var - the variable

acc - the access expression