Package net.ssehub.easy.varModel.cstEvaluation

Implements the evaluation of constraint syntax trees. Operations evaluators to be considered shall be registered with the evaluator registry. Indeed, we will repeat some code for implementing the operations, but we fear that the more generic versions will be slower as they imply either repeated array creation or polymorphic calls. Typically, one can rely on that the types passed into an operation evaluator comply to the types of the operation as the compliance is checked during the creation of the constraint syntax tree. To avoid index access and type cast exceptions, we check for the argument number and types anyway and return null in case of problems (that shall typically not occur).

Interface Summary

Interface	Description
BooleanOperations.BinaryBooleanOperation	Defines the interface for a binary boolean operation.
ContainerOperations.Container2Operation	Defines a container/container operation.
ContainerOperations.ContainerValueOperation	Defines a container/value operation.
EnumOperations.BinaryEnumComparisonOperation	Defines the evaluation of a binary enum (literal) operation.
GenericNumberOperations.INumberComparator	Strategy for comparing two numbers.
IConstraintEvaluator	Interface to the constraint evaluator to avoid unnecessary access when passing along an evaluation visitor.
IIteratorEvaluator	Provides an iterator aggregation function.
IOperationEvaluator	Evaluates an IVML operation.
IResolutionListener	Informs interested parties about the resolution of a variable to a decision variable.
IValueChangeListener	Is called when the EvaluationVisitor changes a value in the configuration.
VariableValueCopier.IAssignmentListener	Optional listener interface to generically track primary value assignments.
VariableValueCopier.IFreezeProvider	An interface providing information to create freeze blocks for new variables.
VersionOperations.IVersionResultConverter	A version evaluation result validator.

Class Summary

Class	Description
AbstractDecisionVariableEvaluationAccessor	An accessor based on a decision variable.
BooleanOperations	Implements Boolean operations.
BooleanOperations.BinaryOperationEvaluator	Generically implements binary Boolean operations.
CollectionElementVariable	A temporary variable representing a value of a container.
CompoundOperations	Implements compound operations.
CompoundSlotAccessor	Implements an accessor for decision variables.
ConstantAccessor	Implements an accessor for constant values.
ConstantValueResolver	Implements a constant value resolution visitor.
ConstraintOperations	Implements constraint operations.
ContainerElementAccessor	Implements an accessor for decision variables.
ContainerIterators	Implements the container iterators.
ContainerIterators.ClosureIteratorEvaluator	Implements a basic closure iterator which can stop on a cycle.
ContainerIterators.CollectingIteratorEvaluator	Implements an evaluator adaptor for collecting operations.
ContainerIterators.CollectIteratorEvaluator	Implements Container.SELECT and Container.REJECT.
ContainerIterators.DefaultValueComparator	The default value comparator for any value based on StringProvider.
ContainerIterators.NumberIteratorEvaluator	A number aggregating iterator.
ContainerOperations	Implements the default container operations.
ContainerOperations.CalcEvaluator	Implements a container calculation evaluator (just as needed for now).
ContainerOperations.Container2OperationEvaluator	Implements a container/container operation generically.
ContainerOperations.ContainerArgument	A combined container value / accessor.
ContainerOperations.ContainerValueOperationEvaluator	Implements a container/value operation generically.
ContainerOperations.FindOperationEvaluator	Implements the "includes"/"excludes" function.
ContainerOperations.FlattenOperationEvaluator	Implements the "flattens" operation.
ContainerOperations.IncludesAllOperationEvaluator	Implements the "includesAll"/"excludesAll" function.
ContainerOperations.IsEmptyOperationEvaluator	Implements the "isEmpty"/"notEmpty" function.
ContainerOperations.TypeSelectEvaluator	Implements the typeSelection operation.
ContextStack	Realizes a context stack for evaluating nested self expressions.
ContextStack.StackFrame	Implements a poolable stack frame.
DispatchInformation	Stores dispatch information for dynamically dispatching a custom operation.
EnumOperations	Implements enum and ordered enum operations.
EnumOperations.EnumComparisonOperation	Implements the generic enum comparison operation based on EnumOperations.BinaryEnumComparisonOperation.
EnumOperations.MinMaxEvaluator	Implements OrderedEnum.MIN.
EvaluationAccessor	Defines a unified accessor to variables, constants, slots etc.
EvaluationContext	Some basic functionality required by the evaluators without exposing the EvaluationVisitor.
EvaluationUtils	Some evaluation utility methods.
EvaluationUtils.VariableReplacer	Implements a variable replacer.
EvaluationVisitor	Evaluation visitor for IVML expressions.
EvaluationVisitor.Message	Extended Message class for saving variables that fail in assignments.
EvaluatorRegistry	Allows to register, query and unregister evaluators for IVML operations.
FreezeEvaluator	Implements a freeze selector based on expression evaluation.
FreezeVarOperations	Implements the operations of the internal freeze variable type.
FreezeVarOperations.NameOperationEvaluator	Implements the operation evaluator for variable names.
GenericNumberOperations	Generic Number (IntegerType, RealType) operations.
GenericOperations	Generic operation implementation for the individual types.
IndexAccessor	Implements an accessor for index access.
IntegerOperations	Implements integer operations.
IterLet	Implements a specific expression for defining local variables with variable initialization expressions in iterator expressions.
ListWrapperValue	Special wrapper value for lists.
LocalConfiguration	Creates a local configuration instance.
LocalDecisionVariable	A local decision variable representing a parameter or a local variable.
MetaTypeOperations	Implements the meta type operations.
RealOperations	Implements real operations.
ReferenceOperations	Implements reference operations.
SequenceOperations	Implements sequence operations.
SetOperations	Implements set operations.
StaticAccessFinder	Finds variables with static access in the given expression.
StringOperations	Implements string operations.
StringOperations.CaseChange	Implements the case change operations.
StringOperations.CompareOperation	Implements the string compare operations.
VariableAccessor	Implements an accessor for decision variables.
VariableValueCopier	Copies specified variable values, i.e., single variables to a single variable or a compatible container or a container to a container.
VariableValueCopier.CopySpec	Defines a copy specification.
VariableValueCopier.EnumAttributeFreezeProvider	A default freeze provider for but-expressions based on attributes of type enum.
VariableValueCopier.SourceBasedFreezeProvider	A freeze provider based on known frozen assignment states.
VersionOperations	Implements version operations.
VersionOperations.VersionEvaluator	Evaluates a version operation.

Enum Summary

Enum	Description
ArithmeticOperationType	Basic (number) operations.
IValueChangeListener.ChangeKind	Indicates the kind of the change.