Uses of Class
edu.wis.jtlv.env.core.spec.InternalOp

Packages that use InternalOp
edu.wis.jtlv.env.core.spec TBD. 
 

Uses of InternalOp in edu.wis.jtlv.env.core.spec
 

Fields in edu.wis.jtlv.env.core.spec declared as InternalOp
static InternalOp[] InternalOp.binaryOp
           
static InternalOp[] InternalOp.CTLOp
           
static InternalOp[] InternalOp.FutureLTLOp
           
static InternalOp[] InternalOp.PastLTLOp
           
static InternalOp[] InternalOp.propOp
           
static InternalOp[] InternalOp.RealTimeCTLOp
           
static InternalOp[] InternalOp.tripletOp
           
static InternalOp[] InternalOp.unaryOp
           
 

Methods in edu.wis.jtlv.env.core.spec that return InternalOp
 InternalOp InternalSpecExp.getOperator()
           
static InternalOp InternalOp.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static InternalOp[] InternalOp.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Constructors in edu.wis.jtlv.env.core.spec with parameters of type InternalOp
InternalSpecExp(InternalOp op, InternalSpec e1, InternalSpec e2, InternalSpec e3, org.antlr.runtime.Token start)
           
InternalSpecExp(InternalOp op, InternalSpec e1, InternalSpec e2, org.antlr.runtime.Token start)
           
InternalSpecExp(InternalOp op, InternalSpec e1, org.antlr.runtime.Token start)
           
InternalSpecExp(java.lang.String exp_str, InternalOp op, InternalSpec e1, InternalSpec e2, InternalSpec e3, org.antlr.runtime.Token start)
           
InternalSpecExp(java.lang.String exp_str, InternalOp op, InternalSpec e1, InternalSpec e2, org.antlr.runtime.Token start)
           
InternalSpecExp(java.lang.String exp_str, InternalOp op, InternalSpec e1, org.antlr.runtime.Token start)