Uses of Interface
kodkod.util.ints.IntCollection

Packages that use IntCollection
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Uses of IntCollection in kodkod.util.ints
 

Subinterfaces of IntCollection in kodkod.util.ints
 interface IntSet
          An ordered set of integers.
 interface IntVector
          A resizable array of integers.
 

Classes in kodkod.util.ints that implement IntCollection
 class AbstractIntCollection
          A skeletal implementation of the IntCollection interface.
 class AbstractIntSet
          A skeletal implementation of the IntSet interface.
 class AbstractIntVector
          A skeletal implementation of the IntVector interface.
 class ArrayIntSet
          An immutable set of integers, stored in a sorted array.
 class ArrayIntVector
          A mutable implementation of the IntVector interface.
 class IntBitSet
          An implementation of the IntSet interface based on a bit map.
 class IntTreeSet
          An implementation of the IntTreeSet interface based on a balanced binary search tree.
 

Methods in kodkod.util.ints with parameters of type IntCollection
 boolean IntVector.addAll(IntCollection c)
          Appends the specified elements to the end of this vector (optional operation), and returns true if this vector has changed as a result of the call.
 boolean IntSet.addAll(IntCollection c)
          Adds all of the elements in the specified collection to this set if they're not already present.
 boolean IntCollection.addAll(IntCollection c)
          Adds all of the elements in the specified collection to this collection.
 boolean IntBitSet.addAll(IntCollection other)
          Adds all of the elements in the specified collection to this collection. Returns true if this collection has changed as a result of the call.
 boolean AbstractIntVector.addAll(IntCollection c)
          Returns the result of calling this.addAll(size(), c).
 boolean AbstractIntCollection.addAll(IntCollection c)
          Adds all of the elements in the specified collection to this collection.
 boolean IntVector.addAll(int index, IntCollection c)
          Inserts the specified elements at the specified position in this vector (optional operation), and returns true if this vector has changed as a result of the call.
 boolean ArrayIntVector.addAll(int index, IntCollection c)
          Throws an UnsupportedOperationException.
 boolean AbstractIntVector.addAll(int index, IntCollection c)
          Throws an UnsupportedOperationException.
 boolean IntTreeSet.containsAll(IntCollection other)
          Returns true if this collection contains all of the elements in the specified collection.
 boolean IntSet.containsAll(IntCollection c)
          Returns true if the elements of c are a subset of this set.
 boolean IntCollection.containsAll(IntCollection c)
          Returns true if this collection contains all of the elements in the specified collection.
 boolean IntBitSet.containsAll(IntCollection other)
          Returns true if this collection contains all of the elements in the specified collection.
 boolean AbstractIntCollection.containsAll(IntCollection c)
          Returns true if this collection contains all of the elements in the specified collection.
 boolean IntVector.removeAll(IntCollection c)
          Removes all of this vector's elements that are also contained in the specified collection.
 boolean IntSet.removeAll(IntCollection c)
          Removes from this set all of its elements that are contained in the specified set.
 boolean IntCollection.removeAll(IntCollection c)
          Removes all of this collection's elements that are also contained in the specified collection.
 boolean IntBitSet.removeAll(IntCollection other)
          Removes all of this collection's elements that are also contained in the specified collection. After this call returns, this collection will contain no elements in common with the specified collection. Returns true if this collection has changed as a result of the call.
 boolean AbstractIntCollection.removeAll(IntCollection c)
          Removes all of this collection's elements that are also contained in the specified collection.
 boolean IntVector.retainAll(IntCollection c)
          Retains only the elements in this vector that are contained in the specified collection.
 boolean IntSet.retainAll(IntCollection c)
          Retains only the elements in this set that are contained in the specified set.
 boolean IntCollection.retainAll(IntCollection c)
          Retains only the elements in this collection that are contained in the specified collection.
 boolean IntBitSet.retainAll(IntCollection other)
          Retains only the elements in this collection that are contained in the specified collection. In other words, removes from this collection all of its elements that are not contained in the specified collection. Returns true if this collection has changed as a result of the call.
 boolean AbstractIntCollection.retainAll(IntCollection c)
          Retains only the elements in this collection that are contained in the specified collection.