FileDocCategorySizeDatePackage
IntSet.javaAPI DocAndroid 1.5 API1570Wed May 06 22:41:02 BST 2009com.android.dx.util

IntSet

public interface IntSet
A set of integers

Fields Summary
Constructors Summary
Methods Summary
public voidadd(int value)
Adds an int to a set

param
value int to add

public intelements()
Returns the count of unique elements in this set.

return
> = 0; count of unique elements

public booleanhas(int value)
Checks to see if a value is in the set

param
value int to check
return
true if in set

public IntIteratoriterator()
Iterates the set

return
non-null; a set iterator

public voidmerge(com.android.dx.util.IntSet other)
Merges other into this set, so this set becomes the union of the two.

param
other non-null; other set to merge with.

public voidremove(int value)
Removes an int from a set.

param
value int to remove