Class ObjectArraySet<K>

    • Constructor Detail

      • ObjectArraySet

        public ObjectArraySet​(Object[] a)
        Creates a new array set using the given backing array. The resulting set will have as many elements as the array.

        It is responsibility of the caller that the elements of a are distinct.

        Parameters:
        a - the backing array.
      • ObjectArraySet

        public ObjectArraySet()
        Creates a new empty array set.
      • ObjectArraySet

        public ObjectArraySet​(int capacity)
        Creates a new empty array set of given initial capacity.
        Parameters:
        capacity - the initial capacity.
      • ObjectArraySet

        public ObjectArraySet​(ObjectCollection<K> c)
        Creates a new array set copying the contents of a given collection.
        Parameters:
        c - a collection.
      • ObjectArraySet

        public ObjectArraySet​(Collection<? extends K> c)
        Creates a new array set copying the contents of a given set.
        Parameters:
        c - a collection.
      • ObjectArraySet

        public ObjectArraySet​(ObjectSet<K> c)
        Creates a new array set copying the contents of a given collection.
        Parameters:
        c - a collection.
      • ObjectArraySet

        public ObjectArraySet​(Set<? extends K> c)
        Creates a new array set copying the contents of a given set.
        Parameters:
        c - a collection.
      • ObjectArraySet

        public ObjectArraySet​(Object[] a,
                              int size)
        Creates a new array set using the given backing array and the given number of elements of the array.

        It is responsibility of the caller that the first size elements of a are distinct.

        Parameters:
        a - the backing array.
        size - the number of valid elements in a.