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