Uses of Class
edu.toronto.cs.mdd.MDDNode

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)