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.
VariablesInConstraintFinder Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.
VariablesInNotSimpleAssignmentConstraintsFinder A visitor to retrieve variables from constraints.
VariablesMap A holder for a map reflecting all variable and constraint relationship.

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.
SubstitutionVisitor Substitutes variables in a constraint syntax tree by copying the syntax tree.
VariablesInNotSimpleAssignmentConstraintsFinder A visitor to retrieve variables from constraints.
VariablesMap A holder for a map reflecting all variable and constraint relationship.