public class DNegExpr extends AbstractNegExpr
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
clone()
Returns a clone of this Value.
|
java.lang.String |
toString() |
void |
toString(UnitPrinter up) |
apply, equivHashCode, equivTo, getType
getOp, getOpBox, getUseBoxes, setOp
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getUseBoxes
public DNegExpr(Value op)
public java.lang.Object clone()
Value
clone
in interface Value
clone
in class AbstractNegExpr
public void toString(UnitPrinter up)
toString
in interface Value
toString
in class AbstractNegExpr
public java.lang.String toString()
toString
in class AbstractNegExpr