|
||||||||||
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.CTLOp
public class CTLOp
Field Summary | |
---|---|
static CTLOp |
AF
|
static CTLOp |
AG
|
static CTLOp |
AR
|
static CTLOp |
AU
|
static CTLOp |
AX
|
static CTLOp |
bAU
|
static CTLOp |
bEU
|
static CTLOp |
EF
|
static CTLOp |
EG
|
static CTLOp |
ER
|
static CTLOp |
EU
|
static CTLOp |
EX
|
Constructor Summary | |
---|---|
CTLOp(java.lang.String name,
int arity)
|
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 CTLOp EX
public static CTLOp AX
public static CTLOp EF
public static CTLOp AF
public static CTLOp EG
public static CTLOp AG
public static CTLOp EU
public static CTLOp AU
public static CTLOp bEU
public static CTLOp bAU
public static CTLOp ER
public static CTLOp AR
Constructor Detail |
---|
public CTLOp(java.lang.String name, int arity)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |