gov.nasa.jpf.util

Interface IndexIterator

All Known Implementing Classes:

SparseClusterArray.ElementIndexIterator

public interface IndexIterator

specialized iterator class for index values [0..N]

Method Summary

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

Method Detail

next

int next()

answer next index value in iteration