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

Packages that use Operator

edu.wis.jtlv.env.spec

Package dedicated to the user's 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() The operator representing this node.
static Operator	Operator.operatorFromString(java.lang.String op_str) Parse an operator from a string.
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 are declared.

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

SpecExp(Operator op, Spec e1)
Constructor for an unary specification.

SpecExp(Operator op, Spec[] el)
A general purpose constructor.

SpecExp(Operator op, Spec e1, Spec e2)
Constructor for a binary specification.

SpecExp(Operator op, Spec e1, Spec e2, Spec e3)
Constructor for a triplet specification.