Package net.ssehub.easy.reasoning.sseReasoner.model
Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
- Author:
- Sizonenko
-
Interface Summary Interface Description TypeCache.IConstraintTarget Specifies the interface that an object receiving constraints from this class must provide. -
Class Summary Class Description ContextStack Implements a context stack for nested translations.ContextStack.Context A linked stack entry.ReasoningUtils Utility methods for reasoning/constraint resolution.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.VariablesInConstraintFinder Searches for usedIDecisionVariables and their states inside aConstraintSyntaxTree.VariablesInNotSimpleAssignmentConstraintsFinder A visitor to retrieve variables from constraints.VariablesMap Represents all variable and constraint relationships. -
Enum Summary Enum Description ContextStack.TranslateMode (Compound) Translation mode for active type caches.