|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.mdd.MDDManager
public class MDDManager
Multi-Valued Decision Diagram package add reference to authors and publications!
Nested Class Summary | |
---|---|
class |
MDDManager.MDDCubeIterator
|
class |
MDDManager.MDDMintermIterator
Iterates over minterms of a given value vars parameter is used to fill-in don't care variables |
Field Summary | |
---|---|
static int |
NO_VALUE
|
Constructor Summary | |
---|---|
MDDManager(int nvars,
int _arity)
Constructor |
Method Summary | |
---|---|
MDDNode |
apply(ApplyFunctions.BinApplyFunction function,
MDDNode m1,
MDDNode m2)
|
MDDNode |
apply(ApplyFunctions.UnaryApplyFunction function,
MDDNode m1)
Apply a unary operation to MDDs. |
MDDNode |
buildCube(int[] vars,
int arity,
MDDNode top,
MDDNode bot)
|
MDDNode |
buildCube(int[] vars,
MDDNode top,
MDDNode bot)
|
MDDNode |
buildPoint(int[] values,
int arity,
MDDNode terminal,
MDDNode bot)
|
MDDNode |
buildPoint(int[] values,
MDDNode terminal,
MDDNode bot)
|
MDDNode |
buildVar(int var,
int arity,
int branch,
MDDNode value,
MDDNode bot)
|
MDDNode |
buildVar(int var,
int branch,
MDDNode value,
MDDNode bot)
|
MDDNode |
cofactor(MDDNode m,
int var,
int branch)
Restrict a specified variable to a certain value. |
MDDNode |
cofactor(MDDNode m,
MDDNode cube,
MDDNode background)
|
int[][] |
collectValues(MDDNode node)
|
java.util.Iterator |
cubeIterator(MDDNode node,
MDDNode background)
cubeIterator . |
int |
dagSize(MDDNode mddNode)
|
MDDLeafNode |
getLeafNode(int val)
Return one of the constant nodes. |
int |
getNvars()
Benet added |
MDDNode |
kase(int var,
MDDNode[] children)
|
MDDNode |
makeUnique(int level,
MDDNode[] children)
If the described MDDNode is already in the manager, return it. |
java.util.Iterator |
mintermIterator(MDDNode node,
MDDNode background,
MDDNode vars,
int termVal)
|
MDDNode |
quantify(ApplyFunctions.QuantifyFunction function,
MDDNode node,
MDDNode cube)
performs universal/existentia/other quantification |
MDDNode |
renameVars(MDDNode mdd,
int[] newVars)
|
void |
renew()
|
void |
setCaching(boolean v)
|
int |
sharedSize(MDDNode[] mddNodes)
|
DaVinciGraph |
toDaVinci(MDDNode node)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int NO_VALUE
Constructor Detail |
---|
public MDDManager(int nvars, int _arity)
nvars
- initial number of variablesarity
- breadth factor of each DD nodeMethod Detail |
---|
public void renew()
public int getNvars()
public void setCaching(boolean v)
public MDDLeafNode getLeafNode(int val)
val
- index of constantpublic MDDNode kase(int var, MDDNode[] children)
public MDDNode makeUnique(int level, MDDNode[] children)
level
- variable at nodechildren
- array of childrenpublic MDDNode apply(ApplyFunctions.BinApplyFunction function, MDDNode m1, MDDNode m2)
public MDDNode apply(ApplyFunctions.UnaryApplyFunction function, MDDNode m1)
public MDDNode cofactor(MDDNode m, MDDNode cube, MDDNode background)
public MDDNode cofactor(MDDNode m, int var, int branch)
public MDDNode quantify(ApplyFunctions.QuantifyFunction function, MDDNode node, MDDNode cube)
public MDDNode renameVars(MDDNode mdd, int[] newVars)
public MDDNode buildVar(int var, int branch, MDDNode value, MDDNode bot)
public MDDNode buildVar(int var, int arity, int branch, MDDNode value, MDDNode bot)
public MDDNode buildCube(int[] vars, MDDNode top, MDDNode bot)
public MDDNode buildCube(int[] vars, int arity, MDDNode top, MDDNode bot)
public MDDNode buildPoint(int[] values, MDDNode terminal, MDDNode bot)
public MDDNode buildPoint(int[] values, int arity, MDDNode terminal, MDDNode bot)
public int dagSize(MDDNode mddNode)
public int sharedSize(MDDNode[] mddNodes)
public int[][] collectValues(MDDNode node)
public java.util.Iterator cubeIterator(MDDNode node, MDDNode background)
cubeIterator
.
Iterator
over the cubes of node
public java.util.Iterator mintermIterator(MDDNode node, MDDNode background, MDDNode vars, int termVal)
public DaVinciGraph toDaVinci(MDDNode node)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |