Enum NoDelta

    • Enum Constant Detail

      • singleton

        public static final NoDelta singleton
    • Method Detail

      • values

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

        public static NoDelta 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
      • add

        public void add​(int value,
                        ICause cause)
        Description copied from interface: IEnumDelta
        Adds a new value to the delta
        Specified by:
        add in interface IEnumDelta
        Parameters:
        value - value to add
        cause - of the removal
      • lazyClear

        public void lazyClear()
        Description copied from interface: IDelta
        Lazy clear the delta, on world change
        Specified by:
        lazyClear in interface IDelta
      • getEnvironment

        public IEnvironment getEnvironment()
        Description copied from interface: IDelta
        Return the associate environment
        Specified by:
        getEnvironment in interface IDelta
        Returns:
        associated environment
      • add

        public void add​(int lb,
                        int ub,
                        ICause cause)
        Description copied from interface: IIntervalDelta
        Adds a new value interval to the delta
        Specified by:
        add in interface IIntervalDelta
        Specified by:
        add in interface ISetDelta
        Parameters:
        lb - lower bound of removed interval
        ub - upper bound of removed interval
        cause - of the removal
      • get

        public int get​(int idx)
        Description copied from interface: IEnumDelta
        Return the idx^th value stored in the delta, if any
        Specified by:
        get in interface IEnumDelta
        Parameters:
        idx - rank of the value
        Returns:
        idx^th value
      • getCause

        public ICause getCause​(int idx)
        Description copied from interface: IntDelta
        Return the cause of the idx^th cause stored in the delta, if any
        Specified by:
        getCause in interface IntDelta
        Parameters:
        idx - rank of the interval
        Returns:
        cause of the removal
      • size

        public int size()
        Description copied from interface: IntDelta
        Returns the number of element
        Specified by:
        size in interface IntDelta
        Returns:
        number of element
      • getSize

        public int getSize​(int kerOrEnv)
        Specified by:
        getSize in interface ISetDelta
      • get

        public int get​(int index,
                       int kerOrEnv)
        Specified by:
        get in interface ISetDelta