Class ContainerOperations.FlattenOperationEvaluator

java.lang.Object
net.ssehub.easy.varModel.cstEvaluation.ContainerOperations.FlattenOperationEvaluator
All Implemented Interfaces:
IOperationEvaluator
Enclosing class:
ContainerOperations

static final class ContainerOperations.FlattenOperationEvaluator extends Object implements IOperationEvaluator
Implements the "flattens" operation.
  • Field Details

    • allowDuplicates

      private boolean allowDuplicates
  • Constructor Details

    • FlattenOperationEvaluator

      FlattenOperationEvaluator(boolean allowDuplicates)
      Creates a flatten operation evaluator.
      Parameters:
      allowDuplicates - allow duplicates (sequence, true) or not (set, false)
  • Method Details