Uses of Package
net.ssehub.easy.reasoning.sseReasoner.model
Packages that use net.ssehub.easy.reasoning.sseReasoner.model
Package
Description
Package contains the EASy-Producer reasoner implementation classes.
Package contains custom functions for IVML.
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.sseReasonerClassDescriptionImplements a context stack for nested translations.Substitutes variables in a constraint syntax tree by copying the syntax tree.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. -
-
Classes in net.ssehub.easy.reasoning.sseReasoner.model used by net.ssehub.easy.reasoning.sseReasoner.modelClassDescriptionImplements a context stack for nested translations.A linked stack entry.(Compound) Translation mode for active type caches.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.Represents a constraint template with related constraint set to add the constraint to.Implements a type cache entry.Specifies the interface that an object receiving constraints from this class must provide.A visitor to retrieve variables from constraints.Represents all variable and constraint relationships.