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

Packages that use MDDNode
edu.toronto.cs.mdd A library for Multi-valued Decision Diagrams (MDDs). 
edu.toronto.cs.mvset Provides several symbolic implementations of multi-valued sets 
edu.toronto.cs.smv Provides classes to represent SMV models 
 

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)
           
protected  MDDNode MDDManager.buildPoint(int[] values, int valuesLen, int arity, MDDNode terminal, MDDNode bot)
          Constructs a point (minterm) in which a path along i = values[i] leads to terminal, and all other assignments lead to 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 MDDTreeNode.getChild(int i)
           
abstract  MDDNode MDDNode.getChild(int i)
           
 MDDNode MDDLeafNode.getChild(int i)
           
 MDDNode[] MDDTreeNode.getChildren()
           
abstract  MDDNode[] MDDNode.getChildren()
           
 MDDNode[] MDDLeafNode.getChildren()
           
 MDDNode ApplyFunctions.QuantifyFunction.getIdentity(int var)
           
 MDDNode ApplyFunctions.UniformQuantify.getIdentity(int var)
           
 MDDNode MDDPoint.getNode()
           
 MDDNode MDDManager.kase(int var, MDDNode[] children)
          Creates a decision diagram with root var and children children.
 MDDNode MDDManager.makeUnique(int level, MDDNode[] children)
          Returns the cannonical version of an MDDNode with root level level and children children.
 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)
           
protected  MDDNode MDDManager.buildPoint(int[] values, int valuesLen, int arity, MDDNode terminal, MDDNode bot)
          Constructs a point (minterm) in which a path along i = values[i] leads to terminal, and all other assignments lead to 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)
          Creates a decision diagram with root var and children children.
 MDDNode MDDManager.makeUnique(int level, MDDNode[] children)
          Returns the cannonical version of an MDDNode with root level level and children children.
 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 MDDMvSetFactory.MDDMvSet.getMddNode()
           
 MDDNode JADDMvSetFactory.JADDMvSet.getMddNode()
           
 

Methods in edu.toronto.cs.mvset with parameters of type MDDNode
 MvSet MDDMvSetFactory.createMvSet(MDDNode mddNode)
           
 MvSet JADDMvSetFactory.createMvSet(MDDNode mddNode)
           
 

Constructors in edu.toronto.cs.mvset with parameters of type MDDNode
JADDMvSetFactory.JADDMvSet(MDDNode _mdd)
           
MDDMvSetFactory.MDDMvSet(MDDNode _mdd)
           
 

Uses of MDDNode in edu.toronto.cs.smv
 

Methods in edu.toronto.cs.smv that return MDDNode
 MDDNode IntApplyFunctions.PlusFunction.binApply(MDDNode node1, MDDNode node2)
           
 MDDNode IntApplyFunctions.LtFunction.binApply(MDDNode node1, MDDNode node2)
           
 

Methods in edu.toronto.cs.smv with parameters of type MDDNode
 MDDNode IntApplyFunctions.PlusFunction.binApply(MDDNode node1, MDDNode node2)
           
 MDDNode IntApplyFunctions.LtFunction.binApply(MDDNode node1, MDDNode node2)