edu.toronto.cs.expr
Class CTLOp

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

public class CTLOp
extends NamedOp


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

EX

public static CTLOp EX

AX

public static CTLOp AX

EF

public static CTLOp EF

AF

public static CTLOp AF

EG

public static CTLOp EG

AG

public static CTLOp AG

EU

public static CTLOp EU

AU

public static CTLOp AU

bEU

public static CTLOp bEU

bAU

public static CTLOp bAU

ER

public static CTLOp ER

AR

public static CTLOp AR
Constructor Detail

CTLOp

public CTLOp(java.lang.String name,
             int arity)