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 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 usedIDecisionVariables and their states inside aConstraintSyntaxTree.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 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 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.