jdd.util.sets

Interface SetEnumeration

All Known Implementing Classes:

BDDSetEnumeration

public interface SetEnumeration

An iterator for the set interface.

NOTE: if you cahnge the represented set, the operation of SetEnumeration will be undefined

See Also:

Set, Universe

Method Summary

Modifier and Type	Method and Description
void	free() free the memory allocated by the iterator (which can be small or huge depending on the implementation).
boolean	hasMoreElements() has the iterator more elements to show us?
int[]	nextElement() what is the next element?

Method Detail

free

void free()

free the memory allocated by the iterator (which can be small or huge depending on the implementation).

NOTE: you can/need not to call this function after theUniverse has been freed!

See Also:

Universe

hasMoreElements

boolean hasMoreElements()

has the iterator more elements to show us?

Returns:

true if there are still elements in the set.

nextElement

int[] nextElement()

what is the next element?

Returns:

the next element as an numbered n-tupple.