xacute.quilt
Class BinOpAND

java.lang.Object
  |
  +--xacute.quilt.QuiltExpression
        |
        +--xacute.quilt.Operator
              |
              +--xacute.quilt.BinOp
                    |
                    +--xacute.quilt.BinOpBool
                          |
                          +--xacute.quilt.BinOpAND
All Implemented Interfaces:
PPrintable

public class BinOpAND
extends BinOpBool


Fields inherited from class xacute.quilt.BinOp
e, operands
 
Method Summary
 java.lang.String pprint()
           
 
Methods inherited from class xacute.quilt.BinOpBool
computeBoolean, evalAux
 
Methods inherited from class xacute.quilt.BinOp
getExpr
 
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
 

Method Detail

pprint

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