hlt.language.util

Class SetIndices

java.lang.Object

hlt.language.util.SetIndices

All Implemented Interfaces:

IndexEnumeration

public class SetIndices
extends java.lang.Object
implements IndexEnumeration

This provides an enumeration through the indices of SetOf objects.

Version:

Last modified on Tue Jun 19 17:38:14 2012 by hak

Author:

Hassan Aït-Kaci

See Also:

SetOf

Copyright:

© Hassan Aït-Kaci

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasMoreIndices()
int	nextIndex()

Methods inherited from class java.lang.Object

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

Method Detail

hasMoreIndices

public final boolean hasMoreIndices()

Specified by:

hasMoreIndices in interface IndexEnumeration

nextIndex

public final int nextIndex()

Specified by:

nextIndex in interface IndexEnumeration