All Classes and Interfaces

Class	Description
AbstractConstraintProcessor	Interface for a generic constraint processor functor (avoid collections, process directly).
AbstractConstraintProcessor.ExpressionType	Expression types.
CheckInitializerVisitor	Visits constraints and checks for contained constraints for constraint variables.
CheckInitializerVisitor.ValueSubstitutionVisitor
ConstraintFunctions	Generic constraint functions based on the AbstractConstraintProcessor.
ConstraintFunctions.TransitiveConstraintFinder	A transitive constraint/variables finder.
ContextStack	Implements a context stack for nested translations.
ContextStack.Context	A linked stack entry.
ContextStack.TranslateMode	(Compound) Translation mode for active type caches.
DefaultValueTranslator	Turns partial compound default values into complete values as EASy allows only one default assignment per variable.
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.
FailedElementDetails	Class for storing Failed elements details.
FailedElements	Stores violated elements detected during a reasoning process.
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.
ReasoningUtils	Utility methods for reasoning/constraint resolution.
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.
ScopeAssignments	Class contains variables that were assigned in a specific scope..
SubstitutionVisitor	Substitutes variables in a constraint syntax tree by copying the syntax tree.
TypeCache	Implements a type cache to avoid repeatedly identifying, iterating over and collecting constraints for complex types.
TypeCache.IConstraintTarget	Specifies the interface that an object receiving constraints from this class must provide.
VariablesInConstraintFinder	Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.
VariablesInNotSimpleAssignmentConstraintsFinder	A visitor to retrieve variables from constraints.
VariablesMap	Represents all variable and constraint relationships.