Uses of Package
net.ssehub.easy.reasoning.sseReasoner

Packages that use net.ssehub.easy.reasoning.sseReasoner

Package	Description
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.

Classes in net.ssehub.easy.reasoning.sseReasoner used by net.ssehub.easy.reasoning.sseReasoner

Class and Description
CheckInitializerVisitor Visits constraints and checks for contained constraints for constraint variables.
Descriptor A specific reasoner descriptor for AssignmentResolver reasoner.
Engine Class for executing reasoner and returning the result.
EvalVisitor This class shall extend EvaluationVisitor for using it in the Reasoning plugin.
Measures The measures provided/supported by the SSE reasoner.
RescheduleValueChangeVisitor Reschedules value changes.
Resolver Constraint identifier, resolver and executor.
Resolver.CompoundAnnotationMapper Implements a compound annotation mapper.
Resolver.ConstraintTranslationVisitor Visits the contents of a project for translation.
Resolver.DefaultConstraints Storage for two sub-types of default constraints, namely primary default constraints that can be evaluated directly, e.g., constants (Resolver.DefaultConstraints.defaultConstraints) and more complex constraints with dependencies (Resolver.DefaultConstraints.deferredDefaultConstraints).
Resolver.OtherConstraintsProcessor Implements a processor for constraints, for which variables (including the variable mapping) shall be substituted and the result shall be added to Resolver.otherConstraints.
Resolver.ReasonerState Represents the state of the resolver/reasoner to be kept in case of incremental reasoning.