jdd.bdd.sets

Class BDDSetEnumeration

java.lang.Object

jdd.bdd.sets.BDDSetEnumeration

All Implemented Interfaces:

SetEnumeration

public class BDDSetEnumeration
extends Object
implements SetEnumeration

Enumerator for the BDD-sets.

Notice the very important free function !

Method Summary

Modifier and Type	Method and Description
void	free() it is very important that you call this function when you are done with the set!
boolean	hasMoreElements() has the iterator more elements to show us?
static void	internal_test() testbench.
int[]	nextElement() what is the next element?

Methods inherited from class java.lang.Object

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

Method Detail

free

public void free()

it is very important that you call this function when you are done with the set!

Specified by:

free in interface SetEnumeration

See Also:

Universe

hasMoreElements

public boolean hasMoreElements()

Description copied from interface: SetEnumeration

has the iterator more elements to show us?

Specified by:

hasMoreElements in interface SetEnumeration

Returns:

true if there are still elements in the set.

nextElement

public int[] nextElement()

Description copied from interface: SetEnumeration

what is the next element?

Specified by:

nextElement in interface SetEnumeration

Returns:

the next element as an numbered n-tupple.

internal_test

public static void internal_test()

testbench. do not call