gov.nasa.jpf.util

Interface IntIterator

public interface IntIterator

just a little helper to iterate over collections of ints without doing a lot of boxing/unboxing

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
int	next()
void	remove()

Method Detail

remove

void remove()

hasNext

boolean hasNext()

next

int next()