edu.toronto.cs.cudd
Class CuddAdd.ADD

java.lang.Object
  extended by edu.toronto.cs.cudd.CuddAdd.ADD
Enclosing class:
CuddAdd

public class CuddAdd.ADD
extends java.lang.Object


Constructor Summary
protected CuddAdd.ADD(int _nodePtr)
           
 
Method Summary
 CuddAdd.ADD and(CuddAdd.ADD v)
           
 CuddAdd.ADD cofactor(CuddAdd.ADD c)
           
 java.util.Iterator cubeIterator()
           
 int dagSize()
           
 CuddAdd.ADD eq(CuddAdd.ADD v)
           
 boolean equals(CuddAdd.ADD o)
           
 boolean equals(java.lang.Object o)
           
 CuddAdd.ADD existAbstract(CuddAdd.ADD cube)
           
protected  void finalize()
           
 CuddAdd.ADD forallAbstract(CuddAdd.ADD cube)
           
 CuddAdd.ADD geq(CuddAdd.ADD v)
           
 int getValue()
           
 int hashCode()
           
 CuddAdd.ADD impl(CuddAdd.ADD v)
           
 boolean isConstant()
           
 CuddAdd.ADD leq(CuddAdd.ADD v)
           
 CuddAdd.ADD not()
           
 CuddAdd.ADD or(CuddAdd.ADD v)
           
 CuddAdd.ADD permuteArgs(int[] newArgs)
           
 CuddAdd.ADD plus(CuddAdd.ADD v)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CuddAdd.ADD

protected CuddAdd.ADD(int _nodePtr)
Method Detail

cubeIterator

public java.util.Iterator cubeIterator()

isConstant

public boolean isConstant()

and

public CuddAdd.ADD and(CuddAdd.ADD v)

or

public CuddAdd.ADD or(CuddAdd.ADD v)

impl

public CuddAdd.ADD impl(CuddAdd.ADD v)

not

public CuddAdd.ADD not()

eq

public CuddAdd.ADD eq(CuddAdd.ADD v)

geq

public CuddAdd.ADD geq(CuddAdd.ADD v)

leq

public CuddAdd.ADD leq(CuddAdd.ADD v)

plus

public CuddAdd.ADD plus(CuddAdd.ADD v)

existAbstract

public CuddAdd.ADD existAbstract(CuddAdd.ADD cube)

forallAbstract

public CuddAdd.ADD forallAbstract(CuddAdd.ADD cube)

cofactor

public CuddAdd.ADD cofactor(CuddAdd.ADD c)

permuteArgs

public CuddAdd.ADD permuteArgs(int[] newArgs)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

finalize

protected void finalize()
                 throws java.lang.Throwable
Overrides:
finalize in class java.lang.Object
Throws:
java.lang.Throwable

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

equals

public boolean equals(CuddAdd.ADD o)

getValue

public int getValue()

dagSize

public int dagSize()

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object