Package cdm.base.math

Enum QuantifierEnum

java.lang.Object
java.lang.Enum<QuantifierEnum>
cdm.base.math.QuantifierEnum
All Implemented Interfaces:
Serializable, Comparable<QuantifierEnum>
@RosettaEnum("QuantifierEnum") public enum QuantifierEnum extends Enum<QuantifierEnum>
Represents the enumerated values to specify a logical quantification, i.e. either All or Any.
Version:
5.30.0

  • Enum Constant Details

    • ALL

      @RosettaEnumValue("All") public static final QuantifierEnum ALL
      Specifies that the condition in the scope of the quantifier is true of every member of the domain i.e. every one of the elements in scope.

    • ANY

      @RosettaEnumValue("Any") public static final QuantifierEnum ANY
      Specifies that the condition in the scope of the quantifier is true of at least one member of the domain i.e. one or more of the elements in scope.

  • Method Details

    • values

      public static QuantifierEnum[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      Returns:
      an array containing the constants of this enum type, in the order they are declared

    • valueOf

      public static QuantifierEnum valueOf(String name)
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum type has no constant with the specified name
      NullPointerException - if the argument is null

    • fromDisplayName

      public static QuantifierEnum fromDisplayName(String name)

    • toString

      public String toString()
      Overrides:
      toString in class Enum<QuantifierEnum>

    • toDisplayString

      public String toDisplayString()