gov.nasa.jpf.util

Class SparseClusterArray.ElementIndexIterator

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.ElementIndexIterator

All Implemented Interfaces:

IndexIterator

Enclosing class:

SparseClusterArray<E>

protected class SparseClusterArray.ElementIndexIterator
extends Object
implements IndexIterator

Constructor Summary

Constructors

Constructor and Description
SparseClusterArray.ElementIndexIterator()
SparseClusterArray.ElementIndexIterator(int startIdx)

Method Summary

Methods

Modifier and Type	Method and Description
int	next() answer next index value in iteration

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SparseClusterArray.ElementIndexIterator

public SparseClusterArray.ElementIndexIterator()

SparseClusterArray.ElementIndexIterator

public SparseClusterArray.ElementIndexIterator(int startIdx)

Method Detail

next

public int next()

Description copied from interface: IndexIterator

answer next index value in iteration

Specified by:

next in interface IndexIterator