xacute.quilt
Class BinOpOR

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

public class BinOpOR
extends BinOpBool

This class represents the OR binary operator.


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