edu.toronto.cs.expr
Class BiLatticeOp

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

public class BiLatticeOp
extends NamedOp


Field Summary
static BiLatticeOp IAND
           
static BiLatticeOp IBOT
           
static BiLatticeOp IGEQ
           
static BiLatticeOp ILEQ
           
static BiLatticeOp INOT
           
static BiLatticeOp IOR
           
static BiLatticeOp ITOP
           
static BiLatticeOp TAND
           
static BiLatticeOp TBOT
           
static BiLatticeOp TGEQ
           
static BiLatticeOp TLEQ
           
static BiLatticeOp TNOT
           
static BiLatticeOp TOR
           
static BiLatticeOp TTOP
           
 
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

TTOP

public static BiLatticeOp TTOP

TBOT

public static BiLatticeOp TBOT

ITOP

public static BiLatticeOp ITOP

IBOT

public static BiLatticeOp IBOT

TAND

public static BiLatticeOp TAND

TOR

public static BiLatticeOp TOR

TNOT

public static BiLatticeOp TNOT

IAND

public static BiLatticeOp IAND

IOR

public static BiLatticeOp IOR

INOT

public static BiLatticeOp INOT

TLEQ

public static BiLatticeOp TLEQ

TGEQ

public static BiLatticeOp TGEQ

ILEQ

public static BiLatticeOp ILEQ

IGEQ

public static BiLatticeOp IGEQ