Package 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.
- Author:
- Sizonenko
-
ClassDescriptionImplements a context stack for nested translations.A linked stack entry.(Compound) Translation mode for active type caches.Utility methods for reasoning/constraint resolution.Substitutes variables in a constraint syntax tree by copying the syntax tree.Implements a type cache to avoid repeatedly identifying, iterating over and collecting constraints for complex types.Specifies the interface that an object receiving constraints from this class must provide.Searches for used
IDecisionVariables and their states inside aConstraintSyntaxTree.A visitor to retrieve variables from constraints.Represents all variable and constraint relationships.