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, getTypegetOp, getOpBox, getUseBoxes, setOpequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetUseBoxespublic DNegExpr(Value op)
public java.lang.Object clone()
Valueclone in interface Valueclone in class AbstractNegExprpublic void toString(UnitPrinter up)
toString in interface ValuetoString in class AbstractNegExprpublic java.lang.String toString()
toString in class AbstractNegExpr