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

Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

See: Description

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 used IDecisionVariables and their states inside a ConstraintSyntaxTree.
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.

Package net.ssehub.easy.reasoning.sseReasoner.model Description

Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

Author:

Sizonenko