edu.toronto.cs.cudd
Class CuddAdd.ADD
java.lang.Object
edu.toronto.cs.cudd.CuddAdd.ADD
- Enclosing class:
- CuddAdd
public class CuddAdd.ADD
- extends java.lang.Object
Constructor Summary |
protected |
CuddAdd.ADD(int _nodePtr)
|
Methods inherited from class java.lang.Object |
clone, getClass, notify, notifyAll, wait, wait, wait |
CuddAdd.ADD
protected CuddAdd.ADD(int _nodePtr)
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