|
|||||||||
| Home >> All >> org >> sf >> [ javabdd overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.sf.javabdd
Class BDDPairing
java.lang.Objectorg.sf.javabdd.BDDPairing
- Direct Known Subclasses:
- BuDDyFactory.BuDDyBDDPairing, CUDDFactory.CUDDBDDPairing, JavaFactory.bddPair, TestBDDFactory.TestBDDPairing, TypedBDDFactory.TypedBDDPairing
- public abstract class BDDPairing
- extends java.lang.Object
Encodes a table of variable pairs. This is used for replacing variables in a BDD.
- Version:
- $Id: BDDPairing.java,v 1.3 2003/07/01 00:10:19 joewhaley Exp $
| Constructor Summary | |
BDDPairing()
|
|
| Method Summary | |
abstract void |
reset()
Resets this table of pairs by setting all substitutions to their default values (that is, no change). |
void |
set(BDDDomain[] p1,
BDDDomain[] p2)
Like set(), but with a whole list of pairs. |
void |
set(BDDDomain p1,
BDDDomain p2)
Defines each variable in the finite domain block p1 to be paired with the corresponding variable in p2. |
void |
set(int[] oldvar,
BDD[] newvar)
Like set(), but with a whole list of pairs. |
void |
set(int[] oldvar,
int[] newvar)
Like set(), but with a whole list of pairs. |
abstract void |
set(int oldvar,
BDD newvar)
Adds the pair (oldvar, newvar) to this table of pairs. |
abstract void |
set(int oldvar,
int newvar)
Adds the pair (oldvar, newvar) to this table of pairs. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
BDDPairing
public BDDPairing()
| Method Detail |
set
public abstract void set(int oldvar,
int newvar)
- Adds the pair (oldvar, newvar) to this table of pairs. This results in
oldvar being substituted with newvar in a call to BDD.replace().
Compare to bdd_setpair.
set
public void set(int[] oldvar,
int[] newvar)
- Like set(), but with a whole list of pairs.
Compare to bdd_setpairs.
set
public abstract void set(int oldvar,
BDD newvar)
- Adds the pair (oldvar, newvar) to this table of pairs. This results in
oldvar being substituted with newvar in a call to bdd.replace(). The
variable oldvar is substituted with the BDD newvar. The possibility to
substitute with any BDD as newvar is utilized in BDD.compose(), whereas
only the topmost variable in the BDD is used in BDD.replace().
Compare to bdd_setbddpair.
set
public void set(int[] oldvar,
BDD[] newvar)
- Like set(), but with a whole list of pairs.
Compare to bdd_setbddpairs.
set
public void set(BDDDomain p1, BDDDomain p2)
- Defines each variable in the finite domain block p1 to be paired with the
corresponding variable in p2.
Compare to fdd_setpair.
set
public void set(BDDDomain[] p1, BDDDomain[] p2)
- Like set(), but with a whole list of pairs.
Compare to fdd_setpairs.
reset
public abstract void reset()
- Resets this table of pairs by setting all substitutions to their default
values (that is, no change).
Compare to bdd_resetpair.
|
|||||||||
| Home >> All >> org >> sf >> [ javabdd overview ] | PREV CLASS NEXT CLASS | ||||||||
|
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||