gov.nasa.jpf.util

Class IntTable.TblIterator

java.lang.Object

gov.nasa.jpf.util.IntTable.TblIterator

All Implemented Interfaces:

Iterator<IntTable.Entry<E>>

Enclosing class:

IntTable<E>

protected class IntTable.TblIterator
extends Object
implements Iterator<IntTable.Entry<E>>

Constructor Summary

Constructors

Constructor and Description
IntTable.TblIterator()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasNext()
IntTable.Entry<E>	next()
void	remove()

Methods inherited from class java.lang.Object

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

Constructor Detail

IntTable.TblIterator

public IntTable.TblIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<IntTable.Entry<E>>

next

public IntTable.Entry<E> next()

Specified by:

next in interface Iterator<IntTable.Entry<E>>

remove

public void remove()

Specified by:

remove in interface Iterator<IntTable.Entry<E>>