Uses of Package
net.ssehub.easy.reasoning.sseReasoner.model

Packages that use net.ssehub.easy.reasoning.sseReasoner.model

Package	Description
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

Classes in net.ssehub.easy.reasoning.sseReasoner.model used by net.ssehub.easy.reasoning.sseReasoner

Class and Description
ContextStack Implements a context stack for nested translations.
SubstitutionVisitor Substitutes variables in a constraint syntax tree by copying the syntax tree.
TypeCache.IConstraintTarget Specifies the interface that an object receiving constraints from this class must provide.
VariablesInConstraintFinder Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.
VariablesInNotSimpleAssignmentConstraintsFinder A visitor to retrieve variables from constraints.
VariablesMap Represents all variable and constraint relationships.

Classes in net.ssehub.easy.reasoning.sseReasoner.model used by net.ssehub.easy.reasoning.sseReasoner.functions

Class and Description
ContextStack Implements a context stack for nested translations.

Classes in net.ssehub.easy.reasoning.sseReasoner.model used by net.ssehub.easy.reasoning.sseReasoner.model

Class and Description
ContextStack Implements a context stack for nested translations.
ContextStack.Context A linked stack entry.
ContextStack.TranslateMode (Compound) Translation mode for active type caches.
SubstitutionVisitor Substitutes variables in a constraint syntax tree by copying the syntax tree.
TypeCache Implements a type cache to avoid repeatedly identifying, iterating over and collecting constraints for complex types.
TypeCache.ConstraintTemplate Represents a constraint template with related constraint set to add the constraint to.
TypeCache.Entry Implements a type cache entry.
TypeCache.IConstraintTarget Specifies the interface that an object receiving constraints from this class must provide.
VariablesInNotSimpleAssignmentConstraintsFinder A visitor to retrieve variables from constraints.
VariablesMap Represents all variable and constraint relationships.