net.sf.javabdd
Class BDD.AllSatIterator

java.lang.Object
  net.sf.javabdd.BDD.AllSatIterator

All Implemented Interfaces:

java.util.Iterator

Enclosing class:

BDD

public static class BDD.AllSatIterator
extends java.lang.Object
implements java.util.Iterator

Iterator that returns all satisfying assignments as byte arrays. In the byte arrays, -1 means dont-care, 0 means 0, and 1 means 1.

Constructor Summary

BDD.AllSatIterator(BDD r)
Constructs a satisfying-assignment iterator on the given BDD.

BDD.AllSatIterator(BDD r, boolean lev)
Constructs a satisfying-assignment iterator on the given BDD.

Method Summary

boolean	hasNext()
java.lang.Object	next()
byte[]	nextSat() Return the next satisfying var setting.
void	remove()

Methods inherited from class java.lang.Object

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

Constructor Detail

BDD.AllSatIterator

public BDD.AllSatIterator(BDD r)

Constructs a satisfying-assignment iterator on the given BDD. next() returns a byte array indexed by BDD variable number.

Parameters:

r - BDD to iterate over

BDD.AllSatIterator

public BDD.AllSatIterator(BDD r,
                          boolean lev)

Constructs a satisfying-assignment iterator on the given BDD. If lev is true, next() will returns a byte array indexed by level. If lev is false, the byte array will be indexed by BDD variable number.

Parameters:

r - BDD to iterate over

lev - whether to index byte array by level instead of var

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator

nextSat

public byte[] nextSat()

Return the next satisfying var setting.

Returns:

byte[]

next

public java.lang.Object next()

Specified by:

next in interface java.util.Iterator

remove

public void remove()

Specified by:

remove in interface java.util.Iterator