Package net.ssehub.easy.varModel.cstEvaluation

Class SetOperations

java.lang.Object
net.ssehub.easy.varModel.cstEvaluation.SetOperations
public class SetOperations extends Object
Implements set operations.
Author:
Holger Eichelberger

  • Field Details

    • UNION

      static final IOperationEvaluator UNION
      Implements the union operation.

    • DIFFERENCE

      static final IOperationEvaluator DIFFERENCE
      Implements the difference (-) operation.

    • SYMMETRIC_DIFFERENCE

      static final IOperationEvaluator SYMMETRIC_DIFFERENCE
      Implements the symmetric difference operation.

    • EXCLUDING

      static final IOperationEvaluator EXCLUDING
      Implements the "excluding" operation.

    • INCLUDING

      static final IOperationEvaluator INCLUDING
      Implements the "including" operation.

  • Constructor Details

    • SetOperations

      private SetOperations()
      Prevent instance creation.

  • Method Details

    • register

      public static void register()
      Registers the defined operations.

    • addAll

      private static final void addAll(ContainerOperations.ContainerArgument cnt, List<Value> result, HashSet<Value> done, EvaluationAccessor resAcc)
      Adds all elements in cnt to result.
      Parameters:
      cnt - the source of the elements
      result - the target (to be modified as a side effect)
      done - all elements considered so far
      resAcc - the result accessor for transferring bound elements

    • addAllXor

      private static void 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.
      Parameters:
      cnt - the container to take the values from
      set1 - the first set
      set2 - the second set
      result - the resulting elements
      resAcc - result accessor for transferring bound elements