gov.nasa.jpf.util

Interface IntSet

All Superinterfaces:

java.lang.Cloneable

All Known Subinterfaces:

FixedBitSet

All Known Implementing Classes:

ArrayIntSet, BitSet1024, BitSet256, BitSet64, BitSetN, PersistentTidSet, SortedArrayIntSet, TidSet, UnsortedArrayIntSet

public interface IntSet
extends java.lang.Cloneable

Method Summary

Modifier and Type	Method and Description
boolean	add(int i)
void	clear()
IntSet	clone()
boolean	contains(int i)
IntIterator	intIterator()
boolean	isEmpty()
boolean	remove(int i)
int	size()

Method Detail

add

boolean add(int i)

remove

boolean remove(int i)

contains

boolean contains(int i)

isEmpty

boolean isEmpty()

size

int size()

clear

void clear()

intIterator

IntIterator intIterator()

clone

IntSet clone()