|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.expr.NamedOp
edu.toronto.cs.expr.BoolOp
public class BoolOp
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 |
---|
public static BoolOp TRUE
public static BoolOp FALSE
public static BoolOp AND
public static BoolOp OR
public static BoolOp NOT
public static BoolOp IMPL
public static BoolOp IFF
public static BoolOp LPMI
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |