edu.toronto.cs.expr
Class BiLatticeOp
java.lang.Object
edu.toronto.cs.expr.NamedOp
edu.toronto.cs.expr.BiLatticeOp
- All Implemented Interfaces:
- Operator
public class BiLatticeOp
- extends NamedOp
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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