Class BooleanOperations

java.lang.Object
net.ssehub.easy.varModel.cstEvaluation.BooleanOperations

public class BooleanOperations extends Object
Implements Boolean operations.
Author:
Holger Eichelberger
  • Field Details

    • NOT

      static final IOperationEvaluator NOT
      Implements the unary Boolean negation.
    • WARNING

      static final IOperationEvaluator WARNING
      Implements the warning operation. If the inner expression is defined, then go to true. If undefined, remain on undefined.
  • Constructor Details

    • BooleanOperations

      private BooleanOperations()
      Prevents external creation.
  • Method Details

    • register

      public static final void register()
      Registers the defined operations.