Enum PropagatorEventType

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

    public enum PropagatorEventType
    extends Enum<PropagatorEventType>
    implements IEventType
    An enum defining the propagator event types:
    • FULL_PROPAGATION: Propagation from scratch (as in initial propagation),
    • CUSTOM_PROPAGATION: custom propagation triggered by the developer (partially incremental propagation)

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

      • values

        public static PropagatorEventType[] 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 (PropagatorEventType c : PropagatorEventType.values())
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static PropagatorEventType 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.)
        name - the name of the enum constant to be returned.
        the enum constant with the specified name
        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
        the mask of the event.
      • isFullPropagation

        public static boolean isFullPropagation​(int mask)
      • isCustomPropagation

        public static boolean isCustomPropagation​(int mask)