Package net.ssehub.easy.reasoning.sseReasoner

Package contains the EASy-Producer reasoner implementation classes.

Class Summary

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.
Reasoner	This class is the EASy Producer Reasoner implementation for reasoning over IVML projects and configurations.
RescheduleValueChangeVisitor	Reschedules value changes.
Resolver	Constraint identifier, resolver and executor.
Resolver.ReasonerState	Represents the state of the resolver/reasoner to be kept in case of incremental reasoning.

Enum Summary

Enum	Description
Measures	The measures provided/supported by the SSE reasoner.