|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sf.javabdd.BDD.AllSatIterator
public static class BDD.AllSatIterator
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 |
---|
public BDD.AllSatIterator(BDD r)
r
- BDD to iterate overpublic BDD.AllSatIterator(BDD r, boolean lev)
r
- BDD to iterate overlev
- whether to index byte array by level instead of varMethod Detail |
---|
public boolean hasNext()
hasNext
in interface java.util.Iterator
public byte[] nextSat()
public java.lang.Object next()
next
in interface java.util.Iterator
public void remove()
remove
in interface java.util.Iterator
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |