Uses of Class
net.ssehub.easy.varModel.cstEvaluation.EvaluationAccessor

Packages that use EvaluationAccessor

Package	Description
net.ssehub.easy.varModel.cstEvaluation	Implements the evaluation of constraint syntax trees.

Uses of EvaluationAccessor in net.ssehub.easy.varModel.cstEvaluation

Subclasses of EvaluationAccessor in net.ssehub.easy.varModel.cstEvaluation

Modifier and Type	Class	Description
(package private) class	AbstractDecisionVariableEvaluationAccessor	An accessor based on a decision variable.
(package private) class	CompoundSlotAccessor	Implements an accessor for decision variables.
class	ConstantAccessor	Implements an accessor for constant values.
(package private) class	ContainerElementAccessor	Implements an accessor for decision variables.
(package private) class	IndexAccessor	Implements an accessor for index access.
(package private) class	VariableAccessor	Implements an accessor for decision variables.

Fields in net.ssehub.easy.varModel.cstEvaluation declared as EvaluationAccessor

Modifier and Type	Field	Description
private EvaluationAccessor	ContainerOperations.ContainerArgument.accessor
private EvaluationAccessor	ContextStack.StackFrame.ex
private EvaluationAccessor	EvaluationVisitor.result

Methods in net.ssehub.easy.varModel.cstEvaluation with type parameters of type EvaluationAccessor

Modifier and Type	Method	Description
static <T extends EvaluationAccessor> T	EvaluationAccessor.release(T accessor)	Releases the given accessor.

Methods in net.ssehub.easy.varModel.cstEvaluation that return EvaluationAccessor

Modifier and Type	Method	Description
private static EvaluationAccessor	GenericNumberOperations.absolute(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Removes the sign of a number (IntegerType or RealType).
private static EvaluationAccessor	IntegerOperations.arithmeticOperationIntInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, ArithmeticOperationType type)	Implements arithmetic operations of two integer variables/values.
private static EvaluationAccessor	RealOperations.arithmeticOperationReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, ArithmeticOperationType type)	Implements arithmetic operations of two integer variables/values.
private static EvaluationAccessor	GenericOperations.assign(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean asAssignment)	Performs a value assignment.
private static final EvaluationAccessor	GenericOperations.checkDefined(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean lazy)	Common implementation of isDefined/ifDefined.
private static EvaluationAccessor	GenericNumberOperations.comparisionOperation(EvaluationAccessor operand, EvaluationAccessor[] arguments, GenericNumberOperations.INumberComparator strategy)	Compares two numbers.
private static final EvaluationAccessor	ContainerOperations.convert(EvaluationAccessor operand, IDatatype targetType)	Performs the conversion of the operand to the given (container) datatype.
(package private) static EvaluationAccessor	GenericOperations.equals(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements a generic equality operation for basic values (excluding compounds and containers).
(package private) static EvaluationAccessor	IntegerOperations.equalsIntReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements the mixed int-real equality operation.
(package private) static final EvaluationAccessor	GenericOperations.equalsNull(Value operand, Value argument, EvaluationContext context, boolean negate)	Implements a generic equality operation for null values.
(package private) static EvaluationAccessor	RealOperations.equalsRealInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements the mixed int-real equality operation.
EvaluationAccessor	BooleanOperations.BinaryOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.CalcEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.Container2OperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.ContainerValueOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.FindOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.FlattenOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.IncludesAllOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.IsEmptyOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.TypeSelectEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	EnumOperations.EnumComparisonOperation.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	EnumOperations.MinMaxEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	FreezeVarOperations.NameOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	IOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Evaluates an operation.
EvaluationAccessor	StringOperations.CaseChange.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	StringOperations.CompareOperation.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	VersionOperations.VersionEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
(package private) static final EvaluationAccessor	ContainerOperations.found(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Returns whether the first argument value can be found in the operand given that operand is a container.
(package private) EvaluationAccessor	ContainerOperations.ContainerArgument.getAccessor()	Returns the accessor.
private EvaluationAccessor	EvaluationVisitor.getAccessor(EvaluationAccessor accessor, ConstraintSyntaxTree expression)	Returns an evaluation accessor for expression if accessor is not already determined.
protected EvaluationAccessor	EvaluationVisitor.getResultAccessor(boolean nullify)	Just for internal purposes of derived classes - get the result accessor.
EvaluationAccessor	CompoundSlotAccessor.getValue(EvaluationAccessor accessor)
EvaluationAccessor	ConstantAccessor.getValue(EvaluationAccessor accessor)
EvaluationAccessor	EvaluationAccessor.getValue(EvaluationAccessor accessor)	Returns a nested value based on the given accessor.
EvaluationAccessor	VariableAccessor.getValue(EvaluationAccessor accessor)
(package private) static EvaluationAccessor	ConstraintOperations.handleConstraintAssignment(EvaluationAccessor operand, ConstraintSyntaxTree cst)	Handles a constraint assignment, i.e., assigns the cst.
(package private) static EvaluationAccessor	ConstraintOperations.handleConstraintEquals(EvaluationAccessor operand, ConstraintSyntaxTree cst, boolean negate)	Handles a constraint equality with propagation, i.e., assigns the cst.
private static EvaluationAccessor	GenericNumberOperations.inverse(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Negates a number (IntegerType or RealType).
private static final EvaluationAccessor	ContainerOperations.max(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Performs the MAX operation the given (container) datatype.
private static final EvaluationAccessor	ContainerOperations.min(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Performs the MIN operation the given (container) datatype.
private static EvaluationAccessor	IntegerOperations.minmaxOperationIntInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean min)	Implements min/max operations of two integer variables/values.
private static EvaluationAccessor	RealOperations.minmaxOperationReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean min)	Implements min/max operations of two integer/real variables/values.
private static EvaluationAccessor	RealOperations.round(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean roundUp)	Implements arithmetic operations of two integer variables/values.

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type EvaluationAccessor

Modifier and Type	Method	Description
private static EvaluationAccessor	GenericNumberOperations.absolute(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Removes the sign of a number (IntegerType or RealType).
(package private) static final void	ContainerOperations.addAll(ContainerOperations.ContainerArgument cnt, List<Value> result, EvaluationAccessor resAcc)	Adds all elements in cnt to result.
(package private) static final void	ContainerOperations.addAll(ContainerOperations.ContainerArgument cnt, Set<Value> result, EvaluationAccessor resAcc)	Adds all elements in cnt to result.
private static final void	SetOperations.addAll(ContainerOperations.ContainerArgument cnt, List<Value> result, HashSet<Value> done, EvaluationAccessor resAcc)	Adds all elements in cnt to result.
private static void	SetOperations.addAllXor(ContainerOperations.ContainerArgument cnt, HashSet<Value> set1, HashSet<Value> set2, List<Value> result, EvaluationAccessor resAcc)	Adds all elements from cnt to result if the individual elements are either in set1 or in set2.
void	EvaluationAccessor.addBoundContainerElement(EvaluationAccessor accessor, int index)	Adds the bound container element stored at index in accessor to this accessor.
Value	ContainerIterators.ClosureIteratorEvaluator.aggregate(EvaluationAccessor result, Value iter, EvaluationAccessor value, Map<Object,Object> data)
BooleanValue	ContainerIterators.CollectIteratorEvaluator.aggregate(EvaluationAccessor result, Value iter, EvaluationAccessor value, Map<Object,Object> data)
BooleanValue	ContainerIterators.NumberIteratorEvaluator.aggregate(EvaluationAccessor result, Value iter, EvaluationAccessor value, Map<Object,Object> data)
Value	IIteratorEvaluator.aggregate(EvaluationAccessor result, Value iter, EvaluationAccessor value, Map<Object,Object> data)	Aggregate value to result.
private static EvaluationAccessor	IntegerOperations.arithmeticOperationIntInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, ArithmeticOperationType type)	Implements arithmetic operations of two integer variables/values.
private static EvaluationAccessor	RealOperations.arithmeticOperationReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, ArithmeticOperationType type)	Implements arithmetic operations of two integer variables/values.
private static EvaluationAccessor	GenericOperations.assign(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean asAssignment)	Performs a value assignment.
void	EvaluationAccessor.bindContainer(EvaluationAccessor accessor)	Binds all bound container elements stored in accessor to this accessor.
private static final EvaluationAccessor	GenericOperations.checkDefined(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean lazy)	Common implementation of isDefined/ifDefined.
private static EvaluationAccessor	GenericNumberOperations.comparisionOperation(EvaluationAccessor operand, EvaluationAccessor[] arguments, GenericNumberOperations.INumberComparator strategy)	Compares two numbers.
private static final EvaluationAccessor	ContainerOperations.convert(EvaluationAccessor operand, IDatatype targetType)	Performs the conversion of the operand to the given (container) datatype.
private CustomOperation	EvaluationVisitor.dynamicDispatch(CustomOperation operation, EvaluationAccessor[] args)	Performs a dynamic dispatch of operation according to the given actual arguments in args, i.e., this method searches and returns a method that fits better to the actual arguments then the statically bound operation.
(package private) static EvaluationAccessor	GenericOperations.equals(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements a generic equality operation for basic values (excluding compounds and containers).
private static boolean	StringOperations.equalsIgnoreCase(String s1, String s2, EvaluationAccessor accessor)	Compares two strings without considering cases using the locale given by the evaluation accessor.
(package private) static EvaluationAccessor	IntegerOperations.equalsIntReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements the mixed int-real equality operation.
(package private) static EvaluationAccessor	RealOperations.equalsRealInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements the mixed int-real equality operation.
EvaluationAccessor	BooleanOperations.BinaryOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.CalcEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
void	ContainerOperations.Container2Operation.evaluate(ContainerOperations.ContainerArgument c1, ContainerOperations.ContainerArgument c2, List<Value> result, EvaluationAccessor resultAccessor)	Evaluates the specific function on two container values possibly modifying result.
EvaluationAccessor	ContainerOperations.Container2OperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
void	ContainerOperations.ContainerValueOperation.evaluate(ContainerOperations.ContainerArgument cont, Value value, List<Value> result, EvaluationAccessor resAcc)	Evaluates the specific function on a container and a value possibly modifying result.
EvaluationAccessor	ContainerOperations.ContainerValueOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.FindOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.FlattenOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.IncludesAllOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.IsEmptyOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	ContainerOperations.TypeSelectEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	EnumOperations.EnumComparisonOperation.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	EnumOperations.MinMaxEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	FreezeVarOperations.NameOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	IOperationEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Evaluates an operation.
EvaluationAccessor	StringOperations.CaseChange.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	StringOperations.CompareOperation.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
EvaluationAccessor	VersionOperations.VersionEvaluator.evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)
private boolean	EvaluationVisitor.evaluateArguments(OCLFeatureCall call, Operation op, EvaluationAccessor operand, EvaluationAccessor[] args)	Evaluates the arguments.
private void	EvaluationVisitor.evaluateCustomOperation(CustomOperation operation, EvaluationAccessor operand, EvaluationAccessor[] args)	Evaluates the given custom operation.
private boolean	EvaluationVisitor.ContainerIterationExecutor.evaluateIterator(int iter, Value iterVal, IDecisionVariable iterVar, int maxIter, boolean setSelf, EvaluationAccessor rVar)	Evaluates an iterator.
(package private) static final EvaluationAccessor	ContainerOperations.found(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Returns whether the first argument value can be found in the operand given that operand is a container.
private EvaluationAccessor	EvaluationVisitor.getAccessor(EvaluationAccessor accessor, ConstraintSyntaxTree expression)	Returns an evaluation accessor for expression if accessor is not already determined.
private static IDatatype[]	DispatchInformation.getArgTypes(EvaluationAccessor[] args)	Extracts the argument types.
private Integer	VariableAccessor.getIndex(ContainerValue value, EvaluationAccessor accessor)	Returns the (valid) index from accessor for value.
EvaluationAccessor	CompoundSlotAccessor.getValue(EvaluationAccessor accessor)
EvaluationAccessor	ConstantAccessor.getValue(EvaluationAccessor accessor)
EvaluationAccessor	EvaluationAccessor.getValue(EvaluationAccessor accessor)	Returns a nested value based on the given accessor.
EvaluationAccessor	VariableAccessor.getValue(EvaluationAccessor accessor)
private boolean	EvaluationVisitor.handleBinaryBoolean(EvaluationAccessor operand, OCLFeatureCall call)	Handles an BooleanType.AND, BooleanType.OR or BooleanType.XOR operation.
(package private) static EvaluationAccessor	ConstraintOperations.handleConstraintAssignment(EvaluationAccessor operand, ConstraintSyntaxTree cst)	Handles a constraint assignment, i.e., assigns the cst.
(package private) static EvaluationAccessor	ConstraintOperations.handleConstraintEquals(EvaluationAccessor operand, ConstraintSyntaxTree cst, boolean negate)	Handles a constraint equality with propagation, i.e., assigns the cst.
private void	ContainerIterators.ClosureIteratorEvaluator.handleResult(boolean changed, EvaluationAccessor result, EvaluationAccessor value, int index)	Handles the bound container elements of result.
private static EvaluationAccessor	GenericNumberOperations.inverse(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Negates a number (IntegerType or RealType).
private static boolean	GenericOperations.isAssignableCompound(EvaluationAccessor operand)	Returns true if EvaluationAccessor is a compound and all compounds nested elements are undefined.
static String	GenericOperations.localeToString(EvaluationAccessor accessor)	Turns the locale of the accessor/context into a string.
private static final EvaluationAccessor	ContainerOperations.max(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Performs the MAX operation the given (container) datatype.
private static final EvaluationAccessor	ContainerOperations.min(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Performs the MIN operation the given (container) datatype.
private static EvaluationAccessor	IntegerOperations.minmaxOperationIntInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean min)	Implements min/max operations of two integer variables/values.
private static EvaluationAccessor	RealOperations.minmaxOperationReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean min)	Implements min/max operations of two integer/real variables/values.
void	ContainerIterators.CollectingIteratorEvaluator.postProcessResult(EvaluationAccessor result, Map<Object,Object> data)
void	ContainerIterators.NumberIteratorEvaluator.postProcessResult(EvaluationAccessor result, Map<Object,Object> data)
void	IIteratorEvaluator.postProcessResult(EvaluationAccessor result, Map<Object,Object> data)	Called to post-process the actual result at the end after the last iteration.
(package private) void	ContextStack.push(EvaluationAccessor ex)	Pushes a context frame for the given expression.
(package private) static void	EvaluationUtils.release(EvaluationAccessor[] accessors)	Releases a bunch of accessors.
private static EvaluationAccessor	RealOperations.round(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean roundUp)	Implements arithmetic operations of two integer variables/values.
protected void	EvaluationVisitor.setResultAcessor(EvaluationAccessor result)	Defines the result accessor and overrides an existing accessor.
void	EvaluationAccessor.setValue(EvaluationAccessor accessor, Value value)	Changes a nested value based on the given accessor.
boolean	IEvaluationInterceptor.setValue(IDecisionVariable var, Value val, boolean asAssignment, EvaluationAccessor acc)
void	VariableAccessor.setValue(EvaluationAccessor accessor, Value value)	Changes a nested value based on the given accessor.
(package private) ContainerOperations.ContainerArgument	ContainerOperations.ContainerArgument.setValues(ContainerValue value, EvaluationAccessor accessor)	Sets the values of this argument.

Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type EvaluationAccessor

Modifier	Constructor	Description
(package private)	DispatchInformation(CustomOperation operation, EvaluationAccessor[] args)	Creates a dispatch information object (not counting annotations).