|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |