xacute.quilt
Class UnOpNot

java.lang.Object
  |
  +--xacute.quilt.QuiltExpression
        |
        +--xacute.quilt.Operator
              |
              +--xacute.quilt.UnOp
                    |
                    +--xacute.quilt.UnOpNot
All Implemented Interfaces:
PPrintable

public class UnOpNot
extends UnOp

This class represents the unary operator negation.


Fields inherited from class xacute.quilt.UnOp
e
 
Constructor Summary
UnOpNot(QuiltExpression e)
           
 
Method Summary
 java.lang.String pprint()
           
 
Methods inherited from class xacute.quilt.QuiltExpression
isTrue, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UnOpNot

public UnOpNot(QuiltExpression e)
Method Detail

pprint

public java.lang.String pprint()
Overrides:
pprint in class QuiltExpression