|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object net.sf.javabdd.BDD.BDDIterator
public static class BDD.BDDIterator
BDDIterator is used to iterate through the satisfying assignments of a BDD. It includes the ability to check if bits are dont-cares and skip them.
Constructor Summary | |
---|---|
BDD.BDDIterator(BDD bdd,
BDDVarSet var)
Construct a new BDDIterator on the given BDD. |
Method Summary | |
---|---|
void |
fastForward(int var)
Fast-forward the iteration such that the given variable number is true. |
void |
fastForward(int[] vars)
Fast-forward the iteration such that the given set of variables are true. |
protected void |
gotoNext()
|
protected boolean |
gotoNextA()
|
boolean |
hasNext()
|
boolean |
isDontCare(BDDDomain d)
Returns true if the BDD variables in the given BDD domain are all dont-care's. |
boolean |
isDontCare(int var)
Returns true if the given BDD variable number is a dont-care. |
Object |
next()
|
BDD |
nextBDD()
Return the next BDD in the iteration. |
boolean[] |
nextSat()
Return the next single satisfying assignment in the iteration. |
BigInteger[] |
nextTuple()
Return the next tuple of domain values in the iteration. |
BigInteger[] |
nextTuple2()
An alternate implementation of nextTuple(). |
BigInteger |
nextValue(BDDDomain dom)
|
void |
remove()
|
void |
skipDontCare(BDDDomain d)
Assuming d is a dont-care, skip to the end of the iteration for d |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BDD.BDDIterator(BDD bdd, BDDVarSet var)
bdd
- BDD to iterate overvar
- variable set to mention in resultMethod Detail |
---|
protected void gotoNext()
protected boolean gotoNextA()
public boolean hasNext()
hasNext
in interface Iterator
public Object next()
next
in interface Iterator
public BigInteger nextValue(BDDDomain dom)
public BigInteger[] nextTuple()
public BigInteger[] nextTuple2()
public boolean[] nextSat()
public BDD nextBDD()
public void remove()
remove
in interface Iterator
public boolean isDontCare(int var)
Returns true if the given BDD variable number is a dont-care. var must be a variable in the iteration set.
var
- variable number to check
public boolean isDontCare(BDDDomain d)
Returns true if the BDD variables in the given BDD domain are all dont-care's.
d
- domain to check
BDDException
- if d is not in the iteration setpublic void fastForward(int var)
var
- number of variablepublic void fastForward(int[] vars)
vars
- set of variable indicespublic void skipDontCare(BDDDomain d)
d
- BDD domain to fast-forward past
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |