edu.toronto.cs.expr
Class BoolOp

java.lang.Object
  extended by edu.toronto.cs.expr.NamedOp
      extended by edu.toronto.cs.expr.BoolOp
All Implemented Interfaces:
Operator

public class BoolOp
extends NamedOp


Field Summary
static BoolOp AND
           
static BoolOp FALSE
           
static BoolOp IFF
           
static BoolOp IMPL
           
static BoolOp LPMI
           
static BoolOp NOT
           
static BoolOp OR
           
static BoolOp TRUE
           
 
Method Summary
 
Methods inherited from class edu.toronto.cs.expr.NamedOp
arity, equals, isWellFormed, name
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TRUE

public static BoolOp TRUE

FALSE

public static BoolOp FALSE

AND

public static BoolOp AND

OR

public static BoolOp OR

NOT

public static BoolOp NOT

IMPL

public static BoolOp IMPL

IFF

public static BoolOp IFF

LPMI

public static BoolOp LPMI