Uses of Class
edu.wis.jtlv.env.spec.Operator

Packages that use Operator

edu.wis.jtlv.env.spec

Package dedicated to Specifications interface.

Uses of Operator in edu.wis.jtlv.env.spec

Fields in edu.wis.jtlv.env.spec declared as Operator

static Operator[]	Operator.binaryOp
static Operator[]	Operator.CTLOp
static Operator[]	Operator.FutureLTLOp
static Operator[]	Operator.PastLTLOp
static Operator[]	Operator.propOp
static Operator[]	Operator.RealTimeCTLOp
static Operator[]	Operator.tripletOp
static Operator[]	Operator.unaryOp

Methods in edu.wis.jtlv.env.spec that return Operator

Operator	SpecExp.getOperator()
static Operator	Operator.OperatorFromString(java.lang.String op_str)
static Operator	Operator.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Operator[]	Operator.values() Returns an array containing the constants of this enum type, in the order they're declared.

Constructors in edu.wis.jtlv.env.spec with parameters of type Operator

SpecExp(Operator op, Spec e1)

SpecExp(Operator op, Spec[] el)

SpecExp(Operator op, Spec e1, Spec e2)

SpecExp(Operator op, Spec e1, Spec e2, Spec e3)