|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MDDNode | |
---|---|
edu.toronto.cs.mdd | |
edu.toronto.cs.mvset |
Uses of MDDNode in edu.toronto.cs.mdd |
---|
Subclasses of MDDNode in edu.toronto.cs.mdd | |
---|---|
class |
MDDLeafNode
|
class |
MDDTreeNode
|
Methods in edu.toronto.cs.mdd that return MDDNode | |
---|---|
MDDNode |
MDDManager.apply(ApplyFunctions.BinApplyFunction function,
MDDNode m1,
MDDNode m2)
|
MDDNode |
MDDManager.apply(ApplyFunctions.UnaryApplyFunction function,
MDDNode m1)
Apply a unary operation to MDDs. |
MDDNode |
ApplyFunctions.BinApplyFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.TerminalBinApplyFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.InfoMeetFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.InfoJoinFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.MeetFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.JoinFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.ImpliesFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.EqualsFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.BelowFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.AboveFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
MDDManager.buildCube(int[] vars,
int arity,
MDDNode top,
MDDNode bot)
|
MDDNode |
MDDManager.buildCube(int[] vars,
MDDNode top,
MDDNode bot)
|
MDDNode |
MDDManager.buildPoint(int[] values,
int arity,
MDDNode terminal,
MDDNode bot)
|
MDDNode |
MDDManager.buildPoint(int[] values,
MDDNode terminal,
MDDNode bot)
|
MDDNode |
MDDManager.buildVar(int var,
int arity,
int branch,
MDDNode value,
MDDNode bot)
|
MDDNode |
MDDManager.buildVar(int var,
int branch,
MDDNode value,
MDDNode bot)
|
MDDNode |
MDDManager.cofactor(MDDNode m,
int var,
int branch)
Restrict a specified variable to a certain value. |
MDDNode |
MDDManager.cofactor(MDDNode m,
MDDNode cube,
MDDNode background)
|
MDDNode |
MDDCacheStub.find(java.lang.Object key,
MDDNode node1)
|
MDDNode |
MDDNodeCache.find(java.lang.Object key,
MDDNode m)
|
MDDNode |
MDDCacheStub.find(java.lang.Object key,
MDDNode node1,
MDDNode node2)
|
MDDNode |
MDDNodeCache.find(java.lang.Object key,
MDDNode m1,
MDDNode m2)
|
MDDNode |
MDDLeafNode.getChild(int i)
|
abstract MDDNode |
MDDNode.getChild(int i)
|
MDDNode |
MDDTreeNode.getChild(int i)
|
MDDNode[] |
MDDLeafNode.getChildren()
|
abstract MDDNode[] |
MDDNode.getChildren()
|
MDDNode[] |
MDDTreeNode.getChildren()
|
MDDNode |
ApplyFunctions.QuantifyFunction.getIdentity(int var)
|
MDDNode |
ApplyFunctions.UniformQuantify.getIdentity(int var)
|
MDDNode |
MDDPoint.getNode()
|
MDDNode |
MDDManager.kase(int var,
MDDNode[] children)
|
MDDNode |
MDDManager.makeUnique(int level,
MDDNode[] children)
If the described MDDNode is already in the manager, return it. |
MDDNode |
MDDManager.quantify(ApplyFunctions.QuantifyFunction function,
MDDNode node,
MDDNode cube)
performs universal/existentia/other quantification |
MDDNode |
MDDManager.renameVars(MDDNode mdd,
int[] newVars)
|
MDDNode |
ApplyFunctions.UnaryApplyFunction.unaryApply(MDDNode node)
|
MDDNode |
ApplyFunctions.NegFunction.unaryApply(MDDNode node)
|
Methods in edu.toronto.cs.mdd with parameters of type MDDNode | |
---|---|
MDDNode |
MDDManager.apply(ApplyFunctions.BinApplyFunction function,
MDDNode m1,
MDDNode m2)
|
MDDNode |
MDDManager.apply(ApplyFunctions.UnaryApplyFunction function,
MDDNode m1)
Apply a unary operation to MDDs. |
MDDNode |
ApplyFunctions.BinApplyFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.TerminalBinApplyFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.InfoMeetFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.InfoJoinFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.MeetFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.JoinFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.ImpliesFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.EqualsFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.BelowFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
ApplyFunctions.AboveFunction.binApply(MDDNode node1,
MDDNode node2)
|
MDDNode |
MDDManager.buildCube(int[] vars,
int arity,
MDDNode top,
MDDNode bot)
|
MDDNode |
MDDManager.buildCube(int[] vars,
MDDNode top,
MDDNode bot)
|
MDDNode |
MDDManager.buildPoint(int[] values,
int arity,
MDDNode terminal,
MDDNode bot)
|
MDDNode |
MDDManager.buildPoint(int[] values,
MDDNode terminal,
MDDNode bot)
|
MDDNode |
MDDManager.buildVar(int var,
int arity,
int branch,
MDDNode value,
MDDNode bot)
|
MDDNode |
MDDManager.buildVar(int var,
int branch,
MDDNode value,
MDDNode bot)
|
boolean |
ApplyFunctions.QuantifyFunction.canTerminate(int var,
MDDNode node)
|
boolean |
ApplyFunctions.UniformQuantify.canTerminate(int var,
MDDNode node)
|
MDDNode |
MDDManager.cofactor(MDDNode m,
int var,
int branch)
Restrict a specified variable to a certain value. |
MDDNode |
MDDManager.cofactor(MDDNode m,
MDDNode cube,
MDDNode background)
|
int[][] |
MDDManager.collectValues(MDDNode node)
|
static int[][] |
MDDValueCollector.collectValues(MDDNode node,
int totalVars)
|
java.util.Iterator |
MDDManager.cubeIterator(MDDNode node,
MDDNode background)
cubeIterator . |
int |
MDDManager.dagSize(MDDNode mddNode)
|
MDDNode |
MDDCacheStub.find(java.lang.Object key,
MDDNode node1)
|
MDDNode |
MDDNodeCache.find(java.lang.Object key,
MDDNode m)
|
MDDNode |
MDDCacheStub.find(java.lang.Object key,
MDDNode node1,
MDDNode node2)
|
MDDNode |
MDDNodeCache.find(java.lang.Object key,
MDDNode m1,
MDDNode m2)
|
void |
MDDCacheStub.insert(java.lang.Object key,
MDDNode m,
MDDNode answer)
|
void |
MDDNodeCache.insert(java.lang.Object key,
MDDNode m,
MDDNode answer)
|
void |
MDDCacheStub.insert(java.lang.Object key,
MDDNode m1,
MDDNode m2,
MDDNode answer)
|
void |
MDDNodeCache.insert(java.lang.Object key,
MDDNode m1,
MDDNode m2,
MDDNode answer)
|
MDDNode |
MDDManager.kase(int var,
MDDNode[] children)
|
MDDNode |
MDDManager.makeUnique(int level,
MDDNode[] children)
If the described MDDNode is already in the manager, return it. |
java.util.Iterator |
MDDManager.mintermIterator(MDDNode node,
MDDNode background,
MDDNode vars,
int termVal)
|
MDDNode |
MDDManager.quantify(ApplyFunctions.QuantifyFunction function,
MDDNode node,
MDDNode cube)
performs universal/existentia/other quantification |
MDDNode |
MDDManager.renameVars(MDDNode mdd,
int[] newVars)
|
void |
MDDTreeNode.setChildren(MDDNode[] v)
|
void |
MDDPoint.setNode(MDDNode v)
|
int |
MDDManager.sharedSize(MDDNode[] mddNodes)
|
static DaVinciGraph |
MDDToDaVinci.toDavinci(MDDNode node)
|
DaVinciGraph |
MDDManager.toDaVinci(MDDNode node)
|
DaVinciGraph.FullNode |
MDDToDaVinci.toDavinciRecur(MDDNode node)
|
MDDNode |
ApplyFunctions.UnaryApplyFunction.unaryApply(MDDNode node)
|
MDDNode |
ApplyFunctions.NegFunction.unaryApply(MDDNode node)
|
Constructors in edu.toronto.cs.mdd with parameters of type MDDNode | |
---|---|
ApplyFunctions.UniformQuantify(MDDNode _identity,
ApplyFunctions.BinApplyFunction _operator,
MDDNode _terminalNode)
|
|
MDDManager.MDDCubeIterator(MDDNode _node,
MDDNode _background)
|
|
MDDManager.MDDCubeIterator(MDDNode _node,
MDDNode _background,
boolean _levelCube)
|
|
MDDManager.MDDMintermIterator(MDDNode node,
MDDNode _background,
MDDNode _vars,
int _termVal)
|
|
MDDPoint(MDDNode _node,
int _val)
|
|
MDDTreeNode(int _varIndex,
MDDNode[] _children)
|
Uses of MDDNode in edu.toronto.cs.mvset |
---|
Methods in edu.toronto.cs.mvset that return MDDNode | |
---|---|
MDDNode |
JADDMvSetFactory.JADDMvSet.getMddNode()
|
MDDNode |
MDDMvSetFactory.MDDMvSet.getMddNode()
|
Methods in edu.toronto.cs.mvset with parameters of type MDDNode | |
---|---|
MvSet |
JADDMvSetFactory.createMvSet(MDDNode mddNode)
|
MvSet |
MDDMvSetFactory.createMvSet(MDDNode mddNode)
|
Constructors in edu.toronto.cs.mvset with parameters of type MDDNode | |
---|---|
JADDMvSetFactory.JADDMvSet(MDDNode _mdd)
|
|
MDDMvSetFactory.MDDMvSet(MDDNode _mdd)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |