Uses of Interface
gov.nasa.jpf.util.IndexIterator

Packages that use IndexIterator

Package	Description
gov.nasa.jpf.util

Uses of IndexIterator in gov.nasa.jpf.util

Classes in gov.nasa.jpf.util that implement IndexIterator

Modifier and Type	Class and Description
protected class	SparseClusterArray.ElementIndexIterator

Methods in gov.nasa.jpf.util that return IndexIterator

Modifier and Type	Method and Description
IndexIterator	SparseClusterArray.getElementIndexIterator()
IndexIterator	SparseClusterArray.getElementIndexIterator(int fromIndex)