Package net.ssehub.easy.reasoning.sseReasoner

package net.ssehub.easy.reasoning.sseReasoner

Package contains the EASy-Producer reasoner implementation classes.

Related Packages

Package	Description
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

Class	Description
CheckInitializerVisitor	Visits constraints and checks for contained constraints for constraint variables.
CheckInitializerVisitor.ValueSubstitutionVisitor
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.
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.