Uses of Interface
net.ssehub.easy.varModel.cstEvaluation.IIteratorEvaluator
Packages that use IIteratorEvaluator
Package
Description
Implements the evaluation of constraint syntax trees.
-
Uses of IIteratorEvaluator in net.ssehub.easy.varModel.cstEvaluation
Classes in net.ssehub.easy.varModel.cstEvaluation that implement IIteratorEvaluatorModifier and TypeClassDescriptionprivate static classImplements a basic closure iterator which can stop on a cycle.(package private) static classImplements an evaluator adaptor for collecting operations.(package private) static classImplementsContainer.SELECTandContainer.REJECT.private static classA number aggregating iterator.Fields in net.ssehub.easy.varModel.cstEvaluation declared as IIteratorEvaluatorModifier and TypeFieldDescription(package private) static final IIteratorEvaluatorContainerIterators.ANYImplementsContainer.ANY.(package private) static final IIteratorEvaluatorContainerIterators.APPLYImplementsContainer.APPLY.(package private) static final IIteratorEvaluatorContainerIterators.CLOSUREImplementsContainer.CLOSURE.(package private) static final IIteratorEvaluatorContainerIterators.COLLECTImplementsContainer.COLLECTandContainer.COLLECT_NESTED.private IIteratorEvaluatorEvaluationVisitor.ContainerIterationExecutor.evaluator(package private) static final IIteratorEvaluatorContainerIterators.EXISTSImplementsContainer.EXISTS.(package private) static final IIteratorEvaluatorContainerIterators.FOR_ALLImplementsContainer.FORALL.(package private) static final IIteratorEvaluatorContainerIterators.IS_ACYCLICImplementsContainer.IS_ACYCLIC.(package private) static final IIteratorEvaluatorContainerIterators.IS_UNIQUEImplementsContainer.IS_UNIQUE.(package private) static final IIteratorEvaluatorContainerIterators.MAX2ImplementsContainer.MIN2.(package private) static final IIteratorEvaluatorContainerIterators.MIN2ImplementsContainer.MIN2.(package private) static final IIteratorEvaluatorContainerIterators.ONEImplementsContainer.ONE.(package private) static final IIteratorEvaluatorContainerIterators.SORTED_BYImplementsContainer.SORTED_BY.Fields in net.ssehub.easy.varModel.cstEvaluation with type parameters of type IIteratorEvaluatorModifier and TypeFieldDescriptionprivate static final Map<Operation, IIteratorEvaluator> EvaluatorRegistry.ITER_EVALUATORSMethods in net.ssehub.easy.varModel.cstEvaluation that return IIteratorEvaluatorModifier and TypeMethodDescriptionprotected IIteratorEvaluatorEvaluationVisitor.getIteratorEvaluator(Operation operation) Returns the iterator evaluator for the givenoperation.static IIteratorEvaluatorEvaluatorRegistry.getIteratorEvaluator(Operation operation) Returns the registered iterator evaluator for the given operation.Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type IIteratorEvaluatorModifier and TypeMethodDescriptionprivate booleanEvaluationVisitor.executeContainerIteration(ContainerOperationCall call, LocalDecisionVariable[] declarators, int iterCount, VariableAccessor resultVar, IIteratorEvaluator evaluator) Executes the container iteration.static voidEvaluatorRegistry.registerEvaluator(IIteratorEvaluator evaluator, Operation... operations) Registers an evaluator (but only ifevaluatoris not null).Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type IIteratorEvaluatorModifierConstructorDescriptionprivateContainerIterationExecutor(ContainerOperationCall call, LocalDecisionVariable[] declarators, VariableAccessor resultVar, IIteratorEvaluator evaluator) Creates a container iteration executor with own context.