A B C D E F G H I L M N O P R S T U V W

A

AbstractConstraintProcessor - Class in net.ssehub.easy.reasoning.sseReasoner.functions

Interface for a generic constraint processor functor (avoid collections, process directly).

AbstractConstraintProcessor() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor

AbstractConstraintProcessor.ExpressionType - Enum in net.ssehub.easy.reasoning.sseReasoner.functions

Expression types.

accept(ConstraintSyntaxTree, IModelElement, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

Accepts the results of a container constraints finder and derives constraints from the contained constraints / constraint values.

accept(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Accepts this on cst and returns BasicCopyVisitor.getResult().

accept(Constraint, Configuration) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Accepts and visits a constraint.

acceptAndClear(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Accepts this on cst, returns BasicCopyVisitor.getResult() and clears this.

acceptAndClear(Constraint, Configuration) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().

acceptAndClear(Constraint, Configuration, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().

acceptAndClear(Iterable<Constraint>, Configuration, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear() for an iterable of constraints.

activate(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Re-activates the context registered for decl and re-pushes it onto the stack.

activate(ComponentContext) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

Private method to activate plugin.

add - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

add(AbstractVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Adds a relationship between variable and constraint.

addAll(Collection<T>, S[]) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Adds all elements from source to target.

addAll(IDecisionVariable, ConstraintList) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Relates all constraints to the declaration of variable and the declarations of all parent variables of variable.

addAll(AbstractVariable, ConstraintList) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Relates all constraints to declaration.

addAssignedVariable(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

Method for registering a variable that was assigned.

addAssignedVariableToScope(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Adds an assigned variable to the current scope.

addConstraint(ConstraintList, Constraint, boolean, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

addProblemConstraint(Constraint, FailedElementDetails) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Method for adding failed constraints and associated details.

addProblemVariable(AbstractVariable, FailedElementDetails) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Method for adding failed variable and associated IDecisionVariable.

addRefines(Compound, Set<Compound>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Adds all refines of cmp to result.

addVariable(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

addVariableMapping(AbstractVariable, AbstractVariable, int) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Adds a variable mapping to be considered during copying.

allAssignmentConstraints(AttributeAssignment, AbstractConstraintProcessor) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions

Processes all assignment constraints.

allCompoundConstraints(Compound, AbstractConstraintProcessor, boolean, boolean, IModelElement) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions

Processes all constraints relevant to the given Compound.

alreadyProcessed(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns whether type was already processed.

analyzeEvaluationResult(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Records information about the evaluation result, failed evaluation messages.

analyzeProblemConstraints(FailedElements) - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for analyzing problem points - failed constraints and associated variables.

analyzeProblemVariables(FailedElements) - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for analyzing failed elements and creating error messages.

annotationMapper - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

assignmentState - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

B

BUNDLE_NAME - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

The ID of this bundle.

C

cAcc - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

cfg - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

check(Project, Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

check(ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

checkForConstraint(IDatatype, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

Checks for a constraint expression.

CheckInitializerVisitor - Class in net.ssehub.easy.reasoning.sseReasoner

Visits constraints and checks for contained constraints for constraint variables.

CheckInitializerVisitor(Resolver) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

Creates the visitor.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Clears this instance for reuse.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Clears this instance.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Clears the stack, i.e., pops all contexts and clears the top-most (project) context for re-use.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

Clears this context.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Clears this visitor for reuse.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Clears this visitor for reuse.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Clears this visitor for reuse.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Clears this instance for reuse.

clear - Variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

Clears the mapper.

clear() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

Clears the parameters for reuse.

clearFailedInfo() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Clears information about failed elements.

clearScopeAssignments() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

Method for clearing all scope assignments.

clearVariableMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Clears the mapping for a given variable.

clearVariableMapping() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Clears the entire variable mapping.

collectRefines(IDatatype, IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Collects all refines from start excluding all originating at exclude.

collectRefines(Compound, IDatatype, boolean, Set<Compound>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Collects all refines from cmp excluding all originating at exclude, adding or removing following compounds based on add storing the results in result.

composeExpression(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Composes an all-quantified expression over the contexts of the stack.

CompoundAnnotationMapper() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

config - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

conflictingDefault(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

constraint - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

constraintBase - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

constraintBase - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ReasonerState

constraintCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

constraintCounter - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

ConstraintFunctions - Class in net.ssehub.easy.reasoning.sseReasoner.functions

Generic constraint functions based on the AbstractConstraintProcessor.

ConstraintFunctions() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions

constraintMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

ConstraintTranslationVisitor() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

constraintVariableMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

constraintVariables - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

container - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

containsMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns whether the current context contains a mapping for var.

containsSelf - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

containsSelf() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Returns whether the last execution visited a self.

Context() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

contextContainsMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Returns whether the current context contains a mapping for var.

contextRegisterMapping(AbstractVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Registers a mapping between the variable var and its actual access expression acc into the current top-most context.

contexts - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

ContextStack - Class in net.ssehub.easy.reasoning.sseReasoner.model

Implements a context stack for nested translations.

ContextStack() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Creates a context stack with implicit top-most (project) context.

ContextStack.Context - Class in net.ssehub.easy.reasoning.sseReasoner.model

A linked stack entry.

copiedState - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

copyFrom(VariablesMap) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Copies all registrations from map.

countSlots(Compound, String, boolean) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Counts the number of slots with given name in the refines hierarchy of cmp.

createAsTypeCast(ConstraintSyntaxTree, IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates a type cast ("asType" operation, if needed) from the type of exp to targetType applied to exp.

createAsTypeCast(ConstraintSyntaxTree, IDatatype, IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates a type cast ("asType" operation, if needed) from sourceType to targetType applied to exp.

createCleanConfiguration(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Method for creating a clean Configuration.

createConfiguration(Project, Configuration, ReasonerConfiguration, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

Method for creating a clean Configuration if required.

createConstraintFromValue(Value) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

Creates a constraint from a value.

createConstraintVariableConstraint(ConstraintSyntaxTree, ConstraintSyntaxTree, AbstractVariable, IModelElement, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Creates a constraint for a (nested) constraint variable adding the result to #constraintVariablesConstraints.

createConstraintVariableConstraint(ConstraintSyntaxTree, AbstractVariable, boolean, IModelElement, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Creates a constraint for a (nested) constraint variable adding the result to Resolver.otherConstraints.

createContainerCall(ConstraintSyntaxTree, Operation, ConstraintSyntaxTree, DecisionVariableDeclaration...) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates a container operation call ("shortcut").

createContainerConstraintValueConstraints(ContainerValue, ConstraintSyntaxTree, AbstractVariable, IModelElement, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

createEvaluationVisitor() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Factory method for creating the evaluation visitor.

createInstance(Project, Configuration, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

createMessage(String) - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for creating custom message fields.

createParentExpression(IDecisionVariable) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates an expression representing the parent of variable.

createTypeValue(IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates a type value.

createTypeValueConstant(IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates a type value constraint tree node.

createTypeValueConstantSafe(IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Creates a type value constraint tree node and logs occurring exceptions.

currentContext - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

currentScopeSet - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

D

deactivate(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Deactivates the context registered for decl.

deactivate(ComponentContext) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

Private method to to de-activate plugin.

debug(String) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ReasonerLogger

Log an DEBUG message.

DEBUG - Static variable in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

declConstraintMapping - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

declVar - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

defaultConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

deferredDefaultConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Descriptor - Class in net.ssehub.easy.reasoning.sseReasoner

A specific reasoner descriptor for AssignmentResolver reasoner.

Descriptor() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Descriptor

Creates a new reasoner descriptor.

DESCRIPTOR - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

E

endTimestamp - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Engine - Class in net.ssehub.easy.reasoning.sseReasoner

Class for executing reasoner and returning the result.

Engine(Project, Configuration, ReasonerConfiguration, ProgressObserver, IReasonerInterceptor) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Engine

Main constructor for creating an instance of the reasoner.

engine - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

error(String) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ReasonerLogger

Log an ERROR message.

errorClassification - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

errorClassifier - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

evals - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

evaluate(Project, Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

evaluate(List<Constraint>, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

evaluateConstraintBase(long, Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Evaluates all constraints in the constraint base.

evaluateConstraints(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Evaluates and reschedules failed constraints.

evaluationTime - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

evaluationTime - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

evaluator - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

evaluator - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

EvalVisitor - Class in net.ssehub.easy.reasoning.sseReasoner

This class shall extend EvaluationVisitor for using it in the Reasoning plugin.

EvalVisitor() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

Creates an evaluation visitor.

EvalVisitor(IConfiguration, IAssignmentState, boolean, IValueChangeListener) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

Constructor for initializing superclass.

expression - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

ExpressionType() - Constructor for enum net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType

F

failedAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

failedConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

FailedElementDetails - Class in net.ssehub.easy.reasoning.sseReasoner.functions

Class for storing Failed elements details.

FailedElementDetails() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Main constructor.

failedElementProjects - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

FailedElements - Class in net.ssehub.easy.reasoning.sseReasoner.functions

Part of the FailedRules.

FailedElements() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Creates a new FailedElements instance, which can be used for exact one reasoning process.

failedElements - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

failedElementSuggestions - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

failedModelElements - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

findRegisteredContext(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Looks up the actual contexts whether decl was registered previously with a context.

forRemove() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Turns this finder into remove mode.

frozenVariablesCount - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

G

getConstraintsForVariable(IConfigurationElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Returns the constraints registered for variable.

getConstraintValueConstraintExpression(Value) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns the expression for a constraint to be created for a constraint variable.

getConstraintVariable(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Returns the variable currently assigned to constraint.

getContextStack() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor

Returns the context stack, e.g., for type exclusions.

getContextStack() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

getCurrentContainer() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns the current container expression from the top-most context.

getCurrentIterator() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns the current iterator variable from the top-most context.

getCurrentType() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns the type stored in the current context.

getDecisionVariableForConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Returns the decision variable for constraint.

getDeclarationSize() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Number of all variables found in constraints (should be replacesd by other method detecting nuber of variables in the model).

getDeepestContainedType(Container) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns the deepest contained type, i.e., for a nested container the deeply nested (base) type.

getDescriptor() - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

getDescriptor() - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

getErrorClassifier() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for returning error classifier.

getEvaluationTime() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for getting evaluation time of the model.

getEvaluationTime() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Returns the time used for evaluation.

getFailedConstraintPart() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Method for checking part of a failed constraints against null.

getFailedElements() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Method for retrieving FailedElements with failed Constraints and IDecisionVariables.

getFrozenVariablesCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Returns the number of frozen variables used in the visited constraint.

getLocalVariablesCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Returns the number of local variables used in the visited constraint.

getMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns the mapped access expression for var taking into account all current contexts of the stack starting with the current top-most one.

getProblemConstraint() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for returning the failed Constraint Constraint.

getProblemConstraintMap() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns a map of failed Constraints and associated FailedElementDetailss.

getProblemConstraintPart() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for returning a part of failed Constraints ConstraintSyntaxTree.

getProblemConstraints() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns a Iterator - problem Constraints.

getProblemPoints() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for returning a set of IDecisionVariables that may caused a constraint to fail.

getProblemVariableMap() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns a map of problem AbstractVariables and associated FailedElementDetailss.

getProblemVariables() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns a Iterator - problem AbstractVariables.

getReevaluationCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for getting reevaluation count of the model.

getRelevantConstraints(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Returns all constraints, where the specifies declaration was used inside.

getRelevantValue(AbstractVariable, IDecisionVariable, boolean) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns the relevant value for reasoning.

getRelevantValue(AbstractVariable, IDecisionVariable, boolean, Class<D>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns the relevant value for reasoning.

getTargetState(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

getTranslationTime() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Returns the time used for translation.

getUsedCompoundTypes(Value, Set<Compound>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns the used types if value is a container value.

getVariablesCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Returns the number of variables used in the visited constraint.

globalExcludes - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

globalMapping - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

H

hasProblems() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns whether constraint violations or variable assignment were detected during the related reasoning process.

hasTimeout - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

hasTimeout() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Returns whether reasoning stopped due to a timeout.

I

incremental - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

inferTypeSafe(ConstraintSyntaxTree, IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Infers the type of cst using dflt as fallback.

info(String) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ReasonerLogger

Log an INFO message.

infoLogger - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

infoLogger - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

initChecker - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

initialize(Project, Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

initialize(Compound, ConstraintSyntaxTree, Variable, IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

Initializes the mapper.

interceptor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

interceptor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

interceptor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

inTopLevelEvals - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

isAssignable(IDecisionVariable, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

Method for determining if variable is valid for value assignment.

isCompoundInitializer - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

isConsistent(Project, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

isConsistent(ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

isConstraint(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Returns whether the type of cst is a constraint type.

isConstraintFrozen() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Returns whether there are only local variables and frozen variables in the visited constraint.

isContextsRegistering() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns whether context registering is actually enabled.

isElementTypeExcluded(IModelElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns whether the given element if it is a type is excluded in the current context.

isNestedContainer(IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns whether type is a type-nested container.

isOverriddenSlot(AbstractVariable) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Returns whether decl is an overridden slot.

isReadyForUse() - Method in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

isRegistered - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

isRunning() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Returns whether the reasoner is (still) operating.

isRunning() - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

isRunning - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

isRunning() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Returns whether the reasoner is (still) operating.

isTypeExcluded(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns whether the given type is excluded in the current context.

isValueTypeChange(IDecisionVariable, Value, Value) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

Returns whether a value change from oldValue to newValue on variable is a value type change.

iterator - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

L

LICENSE - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

localVariableCreated(LocalDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

localVariableDisposed(LocalDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

localVariablesCount - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

LOGGER - Static variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ReasonerLogger

LOGGER - Static variable in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

LOGGER - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

LOGGER - Static variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

LOGGER - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

LOGGING - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

M

map(Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Maps a variable to its accessor expression.

mapping - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

markForReuse() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Marks this instance for re-use.

markForReuse() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Marks this instance for re-use.

Measures - Enum in net.ssehub.easy.reasoning.sseReasoner

The measures provided/supported by the reasoner.

Measures() - Constructor for enum net.ssehub.easy.reasoning.sseReasoner.Measures

MODE_COMPOUND_ANYWAY - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

MODE_COMPOUND_NONE - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

MODE_COMPOUND_REGISTER - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

MODE_COMPOUND_TRANSLATE - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

modifyRelation(AbstractVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Modifies the relationship between variable and constraint due to VariablesInNotSimpleAssignmentConstraintsFinder.add.

moveOtherConstraintsToConstraintBase(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Moves (temporary) constraints in Resolver.otherConstraints as created by constraint translation to the constraint base.

N

NAME - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

net.ssehub.easy.reasoning.sseReasoner - package net.ssehub.easy.reasoning.sseReasoner

Package contains the EASy-Producer reasoner implementation classes.

net.ssehub.easy.reasoning.sseReasoner.functions - package net.ssehub.easy.reasoning.sseReasoner.functions

Package contains custom functions for IVML.

net.ssehub.easy.reasoning.sseReasoner.model - package net.ssehub.easy.reasoning.sseReasoner.model

Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

notify(IReasonerMessage) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

notify(IReasonerMessage) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

notifyChanged(IDecisionVariable, Value) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

notifyResolved(IDecisionVariable, String, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

notifyResolved(AbstractVariable, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

notifyUnresolved(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

O

obtainConstraints(IDecisionVariable, boolean, Set<Compound>) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

obtainConstraintSet(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Returns the constraint set for declaration.

oldValue - Variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

otherConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

otherConstraintsProc - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

OtherConstraintsProcessor() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

P

parent - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

POOL - Static variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

popContext() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Removes (and clears) the current context from the stack (except for the initial project context which remains).

popContextImpl() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Pops the actual context if not the initial (project) context but does not clean up the popped context.

predecessor - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

printConstraintEvaluationResult(Constraint, EvaluationVisitor) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Prints a constraint evaluation result (for debugging).

printConstraints(String, Iterable<Constraint>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Prints a constraints collection, each constraint including top-levle parent and system identity hashcodes [DEBUGGING].

printFailedElements(FailedElements) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Method for displaying failed constraints and assignments.

printMessage(Message) - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for printing out Message.

printModelElement(IDecisionVariable) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Method for printing info about IDecisionVariable.

printModelElements(Configuration, String) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Method for printing all variables, their states and values.

printProblemPoints(Set<IDecisionVariable>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Method for printing all problem points.

problemConstraint - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

problemConstraintCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns the number of problem constraints.

problemConstraintPart - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

problemConstraintParts - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

problemConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

problemConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Map of failed Constraints and FailedElementDetailss that might cause the problem.

problemCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns the total number of failed elements ( Constraint and AbstractVariable ).

problemDecisions - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

problemPoints - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

problemVariables - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Map of failed AbstractVariables and FailedElementDetailss behind it.

problemVariabletCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Returns the number of problem variables.

process - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

process(ConstraintSyntaxTree, AbstractConstraintProcessor.ExpressionType, String, IModelElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor

Processes a constraint syntax tree.

process(Constraint, AbstractConstraintProcessor.ExpressionType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor

Processes a constraint (taking over the parent of constraint).

process(ConstraintSyntaxTree, AbstractConstraintProcessor.ExpressionType, String, IModelElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

processAttribute(Attribute) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

processAttributeAssignment(AttributeAssignment) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

processCompoundEvals(Compound, ConstraintSyntaxTree, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

processedTypes - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

processEvalConstraints(PartialEvaluationBlock, ConstraintSyntaxTree, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

project - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

project - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

project - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

projects - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

projectVisitor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

propagate(Project, Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

propagate(ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

providesAffectedVariables() - Method in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

purgeRefines(Set<Compound>, Set<Compound>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Purges all refined compounds mentioned in compounds.

purgeRefines(Compound, Set<Compound>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Purges all refined compounds of comp from result.

pushContext(AbstractVariable, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Pushes a new (compound) context to the stack.

pushContext(AbstractVariable, ConstraintSyntaxTree, DecisionVariableDeclaration, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Pushes a new container context to the stack.

pushContextImpl(ContextStack.Context) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Just pushes the given context without changing it.

R

reason() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Method for lunching reasoning

Reasoner - Class in net.ssehub.easy.reasoning.sseReasoner

This class is the EASy Producer Reasoner implementation for reasoning over IVML projects and configurations.

Reasoner() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Reasoner

Reasoner.ReasonerInstance - Class in net.ssehub.easy.reasoning.sseReasoner

A reusable reasoner instance.

reasonerConfig - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

reasonerConfiguration - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

ReasonerInstance(Project, Configuration, ReasonerConfiguration, IReasonerInterceptor) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

Creates a reusable reasoner instance.

ReasonerLogger - Class in net.ssehub.easy.reasoning.sseReasoner.functions

Adapter/Wrapper for drools to enable logging via static methods.

ReasonerLogger() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.ReasonerLogger

ReasonerState() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver.ReasonerState

ReasoningUtils - Class in net.ssehub.easy.reasoning.sseReasoner.model

Utility methods for reasoning/constraint resolution.

ReasoningUtils() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

recordProcessed(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Records a processed type (in case of compounds also all refined types) in the closest actual context that allows recording (see recordProcessedTypes and ContextStack.pushContext(AbstractVariable, ConstraintSyntaxTree, DecisionVariableDeclaration, boolean)).

recordProcessed(Set<IDatatype>, Compound) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Records a processed compound.

recordProcessedTypes - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

reevaluationCount - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

reevaluationCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

reevaluationCounter - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

registerCompoundMapping(Compound, ConstraintSyntaxTree, IDecisionVariable, Variable, IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Registers the mapping for a compound type.

registerConstraint(IDecisionVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Registers constraint with constraint variable variable.

registerConstraint(IDecisionVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Registers a variable and associated constraint.

registerContexts - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

registeredContexts - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

registerMapping(AbstractVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Registers a mapping between the variable var and its actual access expression acc into the current top-most context.

reInit() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

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

reInit() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

remove(AbstractVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Removes a relationship between variable and constraint.

removeAll(Collection<Constraint>, Collection<Constraint>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Removes constraints from a constraints collection printing those constraints that have been removed.

removeAll(Map<K, ?>, Collection<K>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Removes all elements in remove as keys from map.

removeAll(IDecisionVariable, Collection<Constraint>) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Unrelates all constraints from the declaration of variable and all declarations of parent variables of variable.

removeAll(AbstractVariable, Collection<Constraint>) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Unrelates all constraints from declaration.

removeProblemConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Removes a problem point through its constraint.

removeProblemConstraints(List<Constraint>) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

Removes problem points through several constraint.

reschedule(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Tries rescheduling the given constraints.

rescheduleConstraintsForChilds(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

Determines the constraints needed for variable and its (transitive) child slots.

rescheduleConstraintsForParent(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

Determines the constraints needed for the parents of variable.

rescheduler - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

rescheduleValueChange(IDecisionVariable, IDecisionVariable, Value, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

Re-schedules a changed constraint value but only if rescheduling is needed.

RescheduleValueChangeVisitor - Class in net.ssehub.easy.reasoning.sseReasoner

Reschedules value changes.

RescheduleValueChangeVisitor(Resolver) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

Creates a rescheduling value change visitor for a certain resolver instance.

resolve() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Resolves the (initial) values of the configuration.

resolver - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

resolver - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

resolver - Variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

Resolver - Class in net.ssehub.easy.reasoning.sseReasoner

Constraint identifier, resolver and executor.

Resolver(Project, Configuration, ReasonerConfiguration) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver

Main constructor that activates Resolver constructor.

Resolver(Project, ReasonerConfiguration) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver

Main constructor that activates Resolver constructor with clean Configuration.

Resolver(Configuration, ReasonerConfiguration) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver

Main constructor that activates Resolver constructor.

Resolver.CompoundAnnotationMapper - Class in net.ssehub.easy.reasoning.sseReasoner

Implements a compound annotation mapper.

Resolver.ConstraintTranslationVisitor - Class in net.ssehub.easy.reasoning.sseReasoner

Visits the contents of a project for translation.

Resolver.OtherConstraintsProcessor - Class in net.ssehub.easy.reasoning.sseReasoner

Implements a processor for constraints, for which variables (including the variable mapping) shall be substituted and the result shall be added to Resolver.otherConstraints.

Resolver.ReasonerState - Class in net.ssehub.easy.reasoning.sseReasoner

Represents the state of the resolver/reasoner to be kept in case of incremental reasoning.

result - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

reuseInstance - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

S

scopeAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

ScopeAssignments - Class in net.ssehub.easy.reasoning.sseReasoner.functions

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

ScopeAssignments() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

Sole constructor.

scopeAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

scopeAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

self - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

self - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

selfEx - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

selfEx - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

SET_COMPOUND_POOL - Static variable in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

A set pool for instances of Set.

setAssignmentState(IAssignmentState) - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Sets the desired assignment state.

setAssignmentState(IAssignmentState) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Sets the desired assignment state.

setCurrentScope(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

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

setCurrentScope(IModelElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

Defines the current scope.

setErrorClassifier(Integer) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for adding error classifier.

setIncremental(boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Sets whether reasoning shall happen incrementally.

setInterceptor(IReasonerInterceptor) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

setInterceptor(IReasonerInterceptor) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Defines the optional interceptor instance.

setMappings(ContextStack) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Sets the mapping.

setParameter(ConstraintSyntaxTree, AbstractVariable, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

Sets the parameters for processing.

setProblemConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for adding the failed Constraints Constraint.

setProblemConstraintPart(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for adding a part of failed Constraints ConstraintSyntaxTree.

setProblemPoints(Set<IDecisionVariable>) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElementDetails

Method for adding a set of IDecisionVariables that may caused a constraint to fail.

setRegisterContexts(boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Enables or disables registering contexts.

setScopeAssignments(ScopeAssignments) - Method in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

Method for setting ScopeAssignments register to check if variable was already assigned in this scope.

setSelf(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Defines self in terms of an expression.

setSelf(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Defines self in terms of a variable declaration.

setTypeExcludes(Set<? extends IDatatype>) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Sets type excludes on the current context.

setValue(IDecisionVariable, Constraint) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Sets a constraint value.

simpleAssignmentFinder - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

size() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Returns the size of the context stack.

stop() - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine

Stops/terminates reasoning.

stop() - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

stop() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Stops/terminates reasoning.

substituteVariables(ConstraintSyntaxTree, ConstraintSyntaxTree, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Method for using SubstitutionVisitor for constraint transformation.

substituteVars - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

SubstitutionVisitor - Class in net.ssehub.easy.reasoning.sseReasoner.model

Substitutes variables in a constraint syntax tree by copying the syntax tree.

SubstitutionVisitor() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Creates a copy visitor without mapping.

SubstitutionVisitor(ContextStack) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

Creates a copy visitor with explicit mapping.

substVisitor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

T

target - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

toIvmlString(Constraint) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Turns a constraint into a string.

toIvmlString(ConstraintSyntaxTree) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Turns a constraint syntax tree into a string.

topLevelConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

toStringAttributes(IDecisionVariable) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils

Method for displaying all variable attributes.

transferTypeExcludes(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Transfers the type excludes from the next enclosing context defining type excludes to the current context.

translateAnnotationAssignment(AttributeAssignment.Assignment, DecisionVariableDeclaration, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Method for creating attribute constraint for a specific element.

translateAnnotationAssignments(AttributeAssignment, IDecisionVariable, List<AttributeAssignment.Assignment>, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Translates attribute assignments.

translateAnnotationDeclaration(Attribute, IDecisionVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Translates an annotation declaration.

translateAnnotationDeclarations(AbstractVariable, IDecisionVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Translates annotation declarations.

translateCompoundContainer(AbstractVariable, Compound, IDatatype, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

translateCompoundContent(AbstractVariable, IDecisionVariable, Compound, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Translates the compound content.

translateCompoundDeclaration(AbstractVariable, IDecisionVariable, ConstraintSyntaxTree, Compound, int) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

translateConstraints(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

translateContainerDeclaration(AbstractVariable, IDecisionVariable, IDatatype, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

translateDeclaration(AbstractVariable, IDecisionVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

translateDerivedDatatypeConstraints(AbstractVariable, IDatatype, DecisionVariableDeclaration, IModelElement, int) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

translateValueTypeChange(IDecisionVariable, Value, Value) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Translates/reschedules a change of value types for compound values.

translationTime - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

type - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

type - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper

typeExcludes - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

U

unregisterMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Unregisters a mapping for the variable var from the current context.

upgrade(URI, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner

usedVariables - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

V

value - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

valueOf(String) - Static method in enum net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.ssehub.easy.reasoning.sseReasoner.Measures

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.ssehub.easy.reasoning.sseReasoner.Measures

Returns an array containing the constants of this enum type, in the order they are declared.

variable - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

variable - Variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

variable - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor

variableConstraintsMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

variableCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

variableInConstraintCount() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

Method for returning the number of variables involved in constraints.

variablesCount - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

variablesCounter - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

variablesFinder - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

VariablesInConstraintFinder - Class in net.ssehub.easy.reasoning.sseReasoner.model

Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.

VariablesInConstraintFinder() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Creates a constraint finder for reuse.

VariablesInConstraintFinder(ConstraintSyntaxTree, Configuration) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder

Creates a constraint finder for single use directly on cst.

variablesInConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

variablesInConstraintsCounter - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

VariablesInNotSimpleAssignmentConstraintsFinder - Class in net.ssehub.easy.reasoning.sseReasoner.model

A visitor to retrieve variables from constraints.

VariablesInNotSimpleAssignmentConstraintsFinder(VariablesMap) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

Creates a visitor instance.

VariablesMap - Class in net.ssehub.easy.reasoning.sseReasoner.model

A holder for a map reflecting all variable and constraint relationship.

VariablesMap() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap

Sole constructor initializing the map.

variablesMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ReasonerState

variablesMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

varMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

varParent - Variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

VERSION - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Descriptor

VIOLATED_CONSTRAINTS - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

VIOLATED_VARIABLES - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Engine

visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitAttributeAssignment(AttributeAssignment) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

visitBlockExpression(BlockExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitBlockExpression(BlockExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitBooleanValue(BooleanValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitComment(Comment) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitComment(Comment) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

visitComment(Comment) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitCompoundAccess(CompoundAccess) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitCompoundAccess(CompoundAccess) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitCompoundInitializer(CompoundInitializer) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitCompoundInitializer(CompoundInitializer) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitCompoundValue(CompoundValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitCompoundValue(CompoundValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

visitConstantValue(ConstantValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitConstantValue(ConstantValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

visitConstraintValue(ConstraintValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitConstraintValue(ConstraintValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

visitContainerInitializer(ContainerInitializer) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitContainerInitializer(ContainerInitializer) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitContainerOperationCall(ContainerOperationCall) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitContainerOperationCall(ContainerOperationCall) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitContainerValue(ContainerValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitContainerValue(ContainerValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

visitDecisionVariableDeclaration(DecisionVariableDeclaration) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

visitIfThen(IfThen) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitIfThen(IfThen) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitLet(Let) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitLet(Let) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitMultiAndExpression(MultiAndExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitMultiAndExpression(MultiAndExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitOclFeatureCall(OCLFeatureCall) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitOclFeatureCall(OCLFeatureCall) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitParenthesis(Parenthesis) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitParenthesis(Parenthesis) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitPartialEvaluationBlock(PartialEvaluationBlock) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

visitProject(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitUnresolvedExpression(UnresolvedExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitUnresolvedExpression(UnresolvedExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

visitVariable(Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

visitVariable(Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor

visitVariable(Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

W

warn(String) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ReasonerLogger

Log an WARN message.

wasAssignedInThisScope(IDecisionVariable, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

Method for determining if variable was already aasigned in this scope.

wasAssignedInThisScope(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

Method for determining if variable was assigned in the specific scope.

wasStopped - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

wasStopped() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver

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

A B C D E F G H I L M N O P R S T U V W