Index (EASy-Producer IVML reasoner 1.3.10-SNAPSHOT API)

A B C D E F G H I L M N O P R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values

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 Class in net.ssehub.easy.reasoning.sseReasoner.functions: Expression types.
accept(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Accepts this on cst and returns BasicCopyVisitor.getResult().
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(Constraint, Configuration) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder: Accepts and visits a constraint.
acceptAndClear(List<Constraint>, Configuration, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder: Combines VariablesInNotSimpleAssignmentConstraintsFinder.accept(Constraint, Configuration) and VariablesInNotSimpleAssignmentConstraintsFinder.clear() for an iterable of constraints.
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 VariablesInNotSimpleAssignmentConstraintsFinder.accept(Constraint, Configuration) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().
acceptAndClear(Constraint, Configuration, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder: Combines VariablesInNotSimpleAssignmentConstraintsFinder.accept(Constraint, Configuration) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().
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.functions.ConstraintFunctions.TransitiveConstraintFinder
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.
addAsParentCache(IDatatype, TypeCache.IConstraintTarget, IDecisionVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Adds the type cache of type as parent to the type cache that is currently in construction.
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, boolean, Constraint, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Adds a constraint to the type cache that is currently in construction for the actual context frame.
addConstraint(ConstraintList, boolean, Constraint, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Adds a constraint to this type cache entry.
addConstraint(ConstraintList, boolean, Constraint, IDecisionVariable) - Method in interface net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.IConstraintTarget: Adds a constraint to the (preliminary) constraint base.
addConstraint(ConstraintList, boolean, Constraint, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver
addConstraint(ConstraintList, Constraint, boolean, IDecisionVariable, 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.
addConstraintsToProject(AbstractVariable, Project, Project) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions: Adds constraints related to var and transitively related constraints and variables in scope to target although the parent relationships of the added variables/constraints are then not correct.
addDefaultConstraint(AbstractVariable, ConstraintSyntaxTree, Resolver.DefaultConstraints, boolean, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Adds a default constraint.
addMessage(Constraint, EvaluationVisitor.Message) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements: Adds a message for a constraint.
addParent(TypeCache.Entry, TypeCache.IConstraintTarget, IDecisionVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Adds a parent to this entry and causes constraint transfer.
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.
addToVariables(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder: Adds a variable to ConstraintFunctions.TransitiveConstraintFinder.variables.
addVariable(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInConstraintFinder
addVariableMapping(AbstractVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Adds a variable mapping to be considered during substitution.
addVariableMapping(AbstractVariable, AbstractVariable, int) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Adds a variable mapping to be considered during substitution.
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.
analyzeMessages(FailedElements) - Method in class net.ssehub.easy.reasoning.sseReasoner.Engine: Analyzes remaining 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.
ANNOTATION_DEFAULT - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType
annotationAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context
annotationMapper - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
ASSIGNMENT_CONSTRAINT - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType
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
cache - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache
candidates - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
cashMapping - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Indicates whether the mapping shall be (type) cached in this context.
cfg - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
check(ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
checkForConstraint(IDatatype, ConstraintSyntaxTree, IDecisionVariable) - 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.
CheckInitializerVisitor.ValueSubstitutionVisitor - Class in net.ssehub.easy.reasoning.sseReasoner
checkTypeCast(IDatatype, IDatatype, AbstractVariable, ConstraintSyntaxTree) - Static method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Inserts a type cast if needed.
cleanupConstraints(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.
clear - Variable in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor
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.functions.ScopeAssignments: Clears all assignments.
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() - 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.DefaultConstraints: Clears the constraint lists.
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(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments: Clears all scope assignments for scope.
clearVariableMapping() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Clears the entire variable mapping.
clearVariableMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Clears the mapping for a given variable.
collectAnnotationAssignments(AttributeAssignment) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Collects annotation assignment names in this context.
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.
collectRefines(IDatatype, IDatatype) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils: Collects all refines from start excluding all originating at exclude.
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.model.VariablesInNotSimpleAssignmentConstraintsFinder
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.TypeCache.ConstraintTemplate
constraint - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
CONSTRAINT - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType
CONSTRAINT_VALUE - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType
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
ConstraintFunctions.TransitiveConstraintFinder - Class in net.ssehub.easy.reasoning.sseReasoner.functions: A transitive constraint/variables finder.
constraintMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
constraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry
ConstraintTemplate(ConstraintList, boolean, Constraint, boolean) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.ConstraintTemplate: Creates the constraint template.
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
constraintVarOnly - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Indicates that only constraint variable constraints shall be translated/instantiated.
constraintVarOnly(boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Returns the flag of the current context whether only constraint variables shall be translated.
container - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Container accessor for incremental container quantification.
contains(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Returns whether this type cache contains an entry for type.
containsMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Returns whether the current context contains a mapping for var.
containsMapping(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: 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.
ContextStack.TranslateMode - Enum Class in net.ssehub.easy.reasoning.sseReasoner.model: (Compound) Translation mode for active type caches.
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.
copyMapNull(Map<K, V>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils: Returns a copy of the source 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.
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.
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.
createEntryFor(IDatatype, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Creates a type cache entry.
createEvaluationVisitor() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Factory method for creating the evaluation visitor.
createInstance(Configuration, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
createMessage(String, Status) - 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.
createTranslatedCompoundInitializer(Compound, Map<String, ConstraintSyntaxTree>, Map<String, AbstractVariable>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.DefaultValueTranslator: Creates a translated compound initializer.
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.
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
createValue(AbstractVariable, IDatatype, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
cst - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
currentContext - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack
currentScopeSet - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

D

deactivate(ComponentContext) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner: Private method to to de-activate plugin.
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
DEFAULT - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType
defaultConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
defaultConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints
DefaultConstraints() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints
DefaultValueTranslator - Class in net.ssehub.easy.reasoning.sseReasoner.functions: Turns partial compound default values into complete values as EASy allows only one default assignment per variable.
DefaultValueTranslator() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.DefaultValueTranslator
deferredDefaultConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints
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
done - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
doneProjects - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

E

ENABLED - Static variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Globally enables or disables type-caching.
endTimestamp - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
engine - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
Engine - Class in net.ssehub.easy.reasoning.sseReasoner: Class for executing reasoner and returning the result.
Engine(Configuration, ReasonerConfiguration, ProgressObserver, IReasonerInterceptor) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Engine: Main constructor for creating an instance of the reasoner.
Entry(AbstractVariable) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Creates a type cache entry.
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(List<Constraint>, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
evaluateConstraint(Constraint, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Evaluates constraint and if available, in case of default constraints, also all related initializing default constraints as one block.
evaluateConstraint(Constraint, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Evaluates a single constraint.
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.
excludeFromMapping - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor
excludeFromMapping(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Excludes the given expression from mapping, e.g., if the expression is an already complete accessor expression and a mapping would be based on a previously registered (incorrect) mapping.
explanation - Variable in enum class net.ssehub.easy.reasoning.sseReasoner.Measures
expression - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
ExpressionType() - Constructor for enum class 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 - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
FailedElements - Class in net.ssehub.easy.reasoning.sseReasoner.functions: Stores violated elements detected during a reasoning process.
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.
failedElementSuggestions - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine
failedModelElements - Variable in class net.ssehub.easy.reasoning.sseReasoner.Engine
fallback - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: A completed type cache entry to be used as fallback lookup for on-demand accessor instantiation.
first - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.ConstraintTemplate
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

get(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Returns a type cache entry for the given type.
getConstraintsForVariable(IConfigurationElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap: Returns the constraints registered for variable.
getConstraintValueExpression(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.
getExplanation() - Method in enum class net.ssehub.easy.reasoning.sseReasoner.Measures
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.
getInConstruction(boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Returns whether the current context is currently constructing a type cache.
getLocalMapping(String) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Returns the local mapping for the given variable name just from the current context.
getLocalMapping(String, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Returns the local mapping for the given variable name just from the current context.
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.
getMapping(AbstractVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Returns the mapped access expression for var taking into account all current contexts of the stack starting with the current top-most one.
getMappingMode(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Returns the type cache mapping mode when trying to register a new type.
getMessages() - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements: Returns the messages.
getNestedAccessor(AbstractVariable, ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Returns the accessor for a nested variable declaration.
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.
getProject() - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
getReasonerConfiguration() - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
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

handle(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder: Handles the occurrence of a variable.
hasMapping() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Returns whether this cache entry has a variable-accessor mapping.
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

inConstruction - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: A type cache entry in construction during translation.
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.
initChecker - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
initialize() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints: Initializes this instance with defaults, i.e., new constraint lists.
initialize(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
initialize(ConstraintSyntaxTree, Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper: Initializes the mapper.
inRescheduling - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
inRescheduling() - Method in interface net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.IConstraintTarget: Returns whether the constraint target is currently in re-scheduling and, thus, e.g., default constraints shall not be added.
inRescheduling() - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver
instantiate(ConstraintSyntaxTree, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Instantiates a the given constraint.
interceptor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
interceptor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
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(ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
isConsistent(Project, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
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.
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.
isKnownAnnotationAssignment(String) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Returns whether name is a known annotation assignment (annotation variable) in this 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
isRunning - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
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() - 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: Iterator variable for incremental container quantification.

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.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 Class in net.ssehub.easy.reasoning.sseReasoner: The measures provided/supported by the SSE reasoner.
Measures(String) - Constructor for enum class net.ssehub.easy.reasoning.sseReasoner.Measures: Creates a measures constant.
messages - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements: Other, unresolved messages.
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.
mVisitor - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder

N

NAME - Static variable in class net.ssehub.easy.reasoning.sseReasoner.Descriptor
nameMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Secundary name-accessor mapping, consistent with ContextStack.Context.varMap.
nameMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry
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.
NOTHING - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.TranslateMode: Do nothing, i.e., create a context and go on.
notify(IReasonerMessage) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
notify(IReasonerMessage) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
notifyCashMapping() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Notifies the current context that mappings shall be cached upon ContextStack.popContext(IDatatype).
notifyChanged(IDecisionVariable, Value, IAssignmentState, IValueChangeListener.ChangeKind) - Method in class net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor
notifyRescheduling(boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Notifies the resolver that following translations happen as part of constraint re-scheduling (or not).
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

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
ON_DEMAND_ACCESSORS - Static variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Variable-accessor and name-accessor mappings may be transferred back to the current context in one copy step false or step-wise and on-demand only true.
origin - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor.ValueSubstitutionVisitor
origvar - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry
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
outputPos() - Method in enum class net.ssehub.easy.reasoning.sseReasoner.Measures

P

parent - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
parents - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry
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).
popContext(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Pops a context and transfers the cache information.
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: Predecessor context for stacked lookups.
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.
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.
PROBLEM_ASSIGNMENTS - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.Measures: Number of constraints with assignment problems.
PROBLEM_CONSTRAINTS - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.Measures: Number of constraints with evaluation problems.
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
problemMessages - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements: Assigns constraints to their messages so that messages can be cleared if a constraint succeeds after initially failing.
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(ConstraintSyntaxTree, AbstractConstraintProcessor.ExpressionType, String, IModelElement) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.OtherConstraintsProcessor
process(Constraint, AbstractConstraintProcessor.ExpressionType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor: Processes a constraint (taking over the parent of constraint).
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, IDecisionVariable) - 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: The processed types.
processEvalConstraints(PartialEvaluationBlock, ConstraintSyntaxTree, AbstractVariable, IDecisionVariable) - 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.Resolver
projects - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
projectVisitor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
propagate(ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.sseReasoner.Reasoner
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 launching the reasoner.
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(Configuration, ReasonerConfiguration, IReasonerInterceptor) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance: Creates a reusable reasoner instance.
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
recordAnnotationAssignments(Compound) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Records annotation assignments for the given compound type for this context.
recordProcessed(Set<IDatatype>, Compound) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Records a processed compound.
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 ContextStack.Context.recordProcessedTypes and ContextStack.pushContext(AbstractVariable, ConstraintSyntaxTree, DecisionVariableDeclaration, boolean)).
recordProcessedTypes - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Shall processed types be recorded.
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
register - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.ConstraintTemplate
REGISTER - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.TranslateMode: Register mappings as without type cache.
registerCompoundMapping(Compound, ConstraintSyntaxTree, Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Registers the mapping for a compound type.
registerCompoundSlotMapping(Compound, ConstraintSyntaxTree, Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Registers the slot mappings for compound slots of type.
registerConstraint(IDecisionVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap: Registers constraint with constraint variable variable.
registerForTypeCache(IDatatype, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Registers the given type and the prototypical template variable var as type in the type cache.
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.
replacement - Variable in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor.ValueSubstitutionVisitor
reschedule(Collection<Constraint>) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Tries rescheduling the given constraints.
reschedule(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Tries rescheduling the given constraints.
reschedule(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Tries rescheduling the given constraints.
rescheduleConstraintsForChilds(IDecisionVariable, boolean) - 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(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.DefaultConstraints - Class in net.ssehub.easy.reasoning.sseReasoner: Storage for two sub-types of default constraints, namely primary default constraints that can be evaluated directly, e.g., constants (Resolver.DefaultConstraints.defaultConstraints) and more complex constraints with dependencies (Resolver.DefaultConstraints.deferredDefaultConstraints).
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

scheduled - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
scope - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
scopeAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor
scopeAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments
scopeAssignments - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
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.
self - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: The underlying variable being translated, used for fallback lookups in on-demand accessor instantiation through ContextStack.Context.fallback.
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<Compound>.
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.
setConstraintVarOnly(boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Changes the flag of the current context whether only constraint variables shall be translated.
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.
setInConstruction(TypeCache.Entry) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Changes the type cache the current context is currently constructing.
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
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.
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.
startAccept(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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, ConstraintSyntaxTree) - 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.model.TypeCache
substVisitor - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver

T

target - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
target - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.ConstraintTemplate
tmpBase - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
toIvmlString(ConstraintSyntaxTree) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils: Turns a constraint syntax tree into a string.
toIvmlString(Constraint) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils: Turns a constraint into a string.
topLevelConstraints - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
toString() - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry
toStringAttributes(IDecisionVariable) - Static method in class net.ssehub.easy.reasoning.sseReasoner.model.ReasoningUtils: Method for displaying all variable attributes.
transfer(ConstraintList, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints: Transfers the constraint lists to target.
transfer(DefaultConstraint, Resolver.DefaultConstraints, boolean) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver: Temporarily transfers the default constraint lists between Resolver.defaultConstraints and tmp.
transfer(TypeCache.IConstraintTarget, IDecisionVariable, AbstractVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.ConstraintTemplate: Transfers the stored constraint into the context of self.
TRANSFER - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.TranslateMode: Transfer existing mappings instead of creating new ones.
transferConstraints(TypeCache.IConstraintTarget, IDecisionVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry: Transfers constraints.
transferConstraints(IDatatype, TypeCache.IConstraintTarget, IDecisionVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Transfers all constraints from the associated type cache entry into their respective target constraint sets.
transferConstraints(IDatatype, TypeCache.IConstraintTarget, IDecisionVariable, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Transfers collected constraints for type.
transferContext(IDatatype, Map<AbstractVariable, ConstraintSyntaxTree>, Map<String, ConstraintSyntaxTree>) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Transfers the mappings of the given context into the cache entry of type.
transferToContext(IDatatype, ContextStack, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache: Transfers all accessors stored in TypeCache.Entry.varMap into the actual context in contexts by instantiating them.
transferToContext(IDatatype, AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack: Indicates that mapping information from the type cache shall be transferred into the current context.
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.
TransitiveConstraintFinder(Project, Project) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder: Creates a finder with search scope and target project.
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, boolean) - 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.
translateDefaultValue(ConstraintSyntaxTree) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.DefaultValueTranslator: Translates a default value into its complete one-time default assignment value by including nested default values of the defining compound/container types.
translateDefaultValues(Compound, Map<String, ConstraintSyntaxTree>, Map<String, AbstractVariable>) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.DefaultValueTranslator: Recursively translates the default values of type into values and decls, but only if the slots are not already allocated.
translateDefaultValueSafe(ConstraintSyntaxTree) - Static method in class net.ssehub.easy.reasoning.sseReasoner.functions.DefaultValueTranslator: Calls DefaultValueTranslator.translateDefaultValue(ConstraintSyntaxTree) catching/logging exceptions.
translateDerivedDatatypeConstraints(AbstractVariable, IDatatype, DecisionVariableDeclaration, IModelElement, int, ConstraintSyntaxTree) - 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.
TranslateMode() - Constructor for enum class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.TranslateMode
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: Stores the associated type.
typeCache - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack
TypeCache - Class in net.ssehub.easy.reasoning.sseReasoner.model: Implements a type cache to avoid repeatedly identifying, iterating over and collecting constraints for complex types.
TypeCache() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache
TypeCache.ConstraintTemplate - Class in net.ssehub.easy.reasoning.sseReasoner.model: Represents a constraint template with related constraint set to add the constraint to.
TypeCache.Entry - Class in net.ssehub.easy.reasoning.sseReasoner.model: Implements a type cache entry.
TypeCache.IConstraintTarget - Interface in net.ssehub.easy.reasoning.sseReasoner.model: Specifies the interface that an object receiving constraints from this class must provide.
typeExcludes - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Stores type-excludes for constraint re-scheduling.

U

unregisterConstraint(IDecisionVariable, Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap: Unregisters a constraint from a decision variable.
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 class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.ssehub.easy.reasoning.sseReasoner.Measures: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.TranslateMode: Returns the enum constant of this class with the specified name.
values() - Static method in enum class net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor.ExpressionType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class net.ssehub.easy.reasoning.sseReasoner.Measures: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.TranslateMode: Returns an array containing the constants of this enum class, in the order they are declared.
ValueSubstitutionVisitor(ConstantValue, ConstraintSyntaxTree) - Constructor for class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor.ValueSubstitutionVisitor
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.
variables - Variable in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
VARIABLES_IN_CONSTRAINTS - Enum constant in enum class net.ssehub.easy.reasoning.sseReasoner.Measures: Number of variables 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 - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ReasonerState
variablesMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.Resolver
VariablesMap - Class in net.ssehub.easy.reasoning.sseReasoner.model: Represents all variable and constraint relationships.
VariablesMap() - Constructor for class net.ssehub.easy.reasoning.sseReasoner.model.VariablesMap: Sole constructor initializing the map.
varMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context: Variable-accessor mapping.
varMap - Variable in class net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.Entry
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
visit(AbstractVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder: Call for the top-level variable to be visited.
visit(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder: Internal method to start visiting a datatype.
visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor
visitAnnotationVariable(AttributeVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitAnyType(AnyType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitAttributeAssignment(AttributeAssignment) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
visitBlockExpression(BlockExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitBooleanType(BooleanType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
visitCompoundAccess(CompoundAccess) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor
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.functions.ConstraintFunctions.TransitiveConstraintFinder
visitCompoundInitializer(CompoundInitializer) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitCompoundType(Compound) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.ValueSubstitutionVisitor
visitConstantValue(ConstantValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitConstantValue(ConstantValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitConstantValue(ConstantValue) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor
visitConstraintType(ConstraintType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
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
visitDatatype(IDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitDecisionVariableDeclaration(DecisionVariableDeclaration) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitDecisionVariableDeclaration(DecisionVariableDeclaration) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor
visitDeferInitExpression(DeferInitExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitDeferInitExpression(DeferInitExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitDeferInitExpression(DeferInitExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor: Visits a default init expression.
visitDeferInitExpression(DeferInitExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitDerivedType(DerivedDatatype) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitEnumType(Enum) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitIfThen(IfThen) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitIfThen(IfThen) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitIfThen(IfThen) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitIntegerType(IntegerType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitLet(Let) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitLet(Let) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitLet(Let) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitMetaType(MetaType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitMultiAndExpression(MultiAndExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitMultiAndExpression(MultiAndExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
visitOclFeatureCall(OCLFeatureCall) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitOrderedEnumType(OrderedEnum) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitParenthesis(Parenthesis) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitParenthesis(Parenthesis) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
visitProject(Project) - Method in class net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor
visitRealType(RealType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor
visitSelf(Self) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitSequence(Sequence) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitSet(Set) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitStringType(StringType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
visitUnresolvedExpression(UnresolvedExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor
visitUnresolvedExpression(UnresolvedExpression) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder
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.functions.ConstraintFunctions.TransitiveConstraintFinder
visitVariable(Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor
visitVariable(Variable) - Method in class net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder
visitVersionType(VersionType) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder

W

wasAssignedInThisScope(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments: Method for determining if variable was assigned in the specific scope.
wasAssignedInThisScope(IDecisionVariable, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.sseReasoner.EvalVisitor: Method for determining if variable was already aasigned in this 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
All Classes and Interfaces|All Packages|Constant Field Values