Package net.ssehub.easy.reasoning.sseReasoner

Package contains the EASy-Producer reasoner implementation classes.

See: Description

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

Package net.ssehub.easy.reasoning.sseReasoner Description

Package contains the EASy-Producer reasoner implementation classes.