gov.nasa.jpf.util

Class ArrayIntSet

java.lang.Object

gov.nasa.jpf.util.ArrayIntSet

All Implemented Interfaces:

IntSet, Cloneable

Direct Known Subclasses:

SortedArrayIntSet, UnsortedArrayIntSet

public abstract class ArrayIntSet
extends Object
implements IntSet, Cloneable

common base for array based IntSet implementations

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	elements
protected int	size

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ArrayIntSet()
protected	ArrayIntSet(int initialCapacity)

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
ArrayIntSet	clone()
boolean	equals(Object o) default implementation is just an identity check
int	hashCode() this is probably a bad hash function, but we just need something that is order independent
IntIterator	intIterator()
boolean	isEmpty()
int	size()
String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface gov.nasa.jpf.util.IntSet

add, contains, remove

Field Detail

size

protected int size

elements

protected int[] elements

Constructor Detail

ArrayIntSet

protected ArrayIntSet()

ArrayIntSet

protected ArrayIntSet(int initialCapacity)

Method Detail

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface IntSet

size

public int size()

Specified by:

size in interface IntSet

clear

public void clear()

Specified by:

clear in interface IntSet

toString

public String toString()

Overrides:

toString in class Object

clone

public ArrayIntSet clone()

Specified by:

clone in interface IntSet

Overrides:

clone in class Object

hashCode

public int hashCode()

this is probably a bad hash function, but we just need something that is order independent

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object

intIterator

public IntIterator intIterator()

Specified by:

intIterator in interface IntSet