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	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.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.