Package net.ssehub.easy.reasoning.sseReasoner
package net.ssehub.easy.reasoning.sseReasoner
Package contains the EASy-Producer reasoner implementation classes.
-
ClassDescriptionVisits constraints and checks for contained constraints for constraint variables.A specific reasoner descriptor for AssignmentResolver reasoner.Class for executing reasoner and returning the result.This class shall extend
EvaluationVisitorfor using it in the Reasoning plugin.The measures provided/supported by the SSE reasoner.This class is the EASy Producer Reasoner implementation for reasoning over IVML projects and configurations.Reschedules value changes.Constraint identifier, resolver and executor.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).Represents the state of the resolver/reasoner to be kept in case of incremental reasoning.