Enum RealEventType

  • All Implemented Interfaces:
    Serializable, Comparable<RealEventType>, IEventType

    public enum RealEventType
    extends Enum<RealEventType>
    implements IEventType
    An enum defining the real variable event types:
    • INCLOW: lower bound increase event,
    • DECUPP: upper bound decrease event,
    • BOUND: lower bound increase and/or upper bound decrease event,

    Author:
    Charles Prud'homme, Jean-Guillaume Fages
    • Method Detail

      • values

        public static RealEventType[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (RealEventType c : RealEventType.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static RealEventType 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
      • getMask

        public int getMask()
        Description copied from interface: IEventType
        Return the value of the mask associated with the event.
        Specified by:
        getMask in interface IEventType
        Returns:
        the mask of the event.
      • isBound

        public static boolean isBound​(int mask)
      • isInclow

        public static boolean isInclow​(int mask)
      • isDecupp

        public static boolean isDecupp​(int mask)