edu.wis.jtlv.env.spec
Enum Operator

java.lang.Object
  java.lang.Enum<Operator>
      edu.wis.jtlv.env.spec.Operator

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Operator>

public enum Operator
extends java.lang.Enum<Operator>

All kinds of operators.

Version:

"1.3.2"

Author:

yaniv sa'ar.

See Also:

SpecExp

Enum Constant Summary

ABF

ABG

ABU

AF

AG

AND

AU

AX

EBF

EBG

EBU

EF

EG

EU

EX

FINALLY

GLOBALLY

HISTORICALLY

IFF

IMPLIES

NEXT

NOT

NOT_PREV_NOT

ONCE

OR

PREV

RELEASES

SINCE

TRIGGERED

UNTIL

XNOR

XOR

Field Summary

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

Method Summary

boolean	isBinary() Is this a binary operator.
boolean	isCTLOp() Is this a CTL operator.
boolean	isFutureLTLOp() Is this a Future LTL operator.
boolean	isLTLOp() Is this a LTL operator.
boolean	isPastLTLOp() Is this a Past LTL operator.
boolean	isProp() Is this a first order operator.
boolean	isRealTimeCTLOp() Is this a Real Time CTL operator.
boolean	isTemporalOp() Is this a Temporal operator.
boolean	isTriplet() Is this a triplet operator.
boolean	isUnary() Is this an unary operator.
int	numOfOperands() Getter for the number of operands to this operator.
static Operator	operatorFromString(java.lang.String op_str) Parse an operator from a string.
java.lang.String	toString()
static Operator	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Operator[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

NOT

public static final Operator NOT

FINALLY

public static final Operator FINALLY

GLOBALLY

public static final Operator GLOBALLY

HISTORICALLY

public static final Operator HISTORICALLY

NEXT

public static final Operator NEXT

NOT_PREV_NOT

public static final Operator NOT_PREV_NOT

ONCE

public static final Operator ONCE

PREV

public static final Operator PREV

EX

public static final Operator EX

EF

public static final Operator EF

EG

public static final Operator EG

AX

public static final Operator AX

AF

public static final Operator AF

AG

public static final Operator AG

AND

public static final Operator AND

OR

public static final Operator OR

XOR

public static final Operator XOR

XNOR

public static final Operator XNOR

IFF

public static final Operator IFF

IMPLIES

public static final Operator IMPLIES

RELEASES

public static final Operator RELEASES

SINCE

public static final Operator SINCE

TRIGGERED

public static final Operator TRIGGERED

UNTIL

public static final Operator UNTIL

ABF

public static final Operator ABF

ABG

public static final Operator ABG

EBF

public static final Operator EBF

EBG

public static final Operator EBG

AU

public static final Operator AU

EU

public static final Operator EU

ABU

public static final Operator ABU

EBU

public static final Operator EBU

Field Detail

unaryOp

public static final Operator[] unaryOp

binaryOp

public static final Operator[] binaryOp

tripletOp

public static final Operator[] tripletOp

propOp

public static final Operator[] propOp

FutureLTLOp

public static final Operator[] FutureLTLOp

PastLTLOp

public static final Operator[] PastLTLOp

CTLOp

public static final Operator[] CTLOp

RealTimeCTLOp

public static final Operator[] RealTimeCTLOp

Method Detail

values

public static Operator[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (Operator c : Operator.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static Operator valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

isProp

public boolean isProp()

Is this a first order operator.

Returns:

true, if this a first order operator.

isLTLOp

public boolean isLTLOp()

Is this a LTL operator.

Returns:

true, if this a LTL operator.

isFutureLTLOp

public boolean isFutureLTLOp()

Is this a Future LTL operator.

Returns:

true, if this a Future LTL operator.

isPastLTLOp

public boolean isPastLTLOp()

Is this a Past LTL operator.

Returns:

true, if this a Past LTL operator.

isCTLOp

public boolean isCTLOp()

Is this a CTL operator.

Returns:

true, if this a CTL operator.

isRealTimeCTLOp

public boolean isRealTimeCTLOp()

Is this a Real Time CTL operator.

Returns:

true, if this a Real Time CTL operator.

isTemporalOp

public boolean isTemporalOp()

Is this a Temporal operator.

Returns:

true, if this a Temporal operator.

isUnary

public boolean isUnary()

Is this an unary operator.

Returns:

true, if this an unary operator.

isBinary

public boolean isBinary()

Is this a binary operator.

Returns:

true, if this a binary operator.

isTriplet

public boolean isTriplet()

Is this a triplet operator.

Returns:

true, if this a triplet operator.

numOfOperands

public int numOfOperands()

Getter for the number of operands to this operator.

Returns:

The number of operands to this operator.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Enum<Operator>

operatorFromString

public static Operator operatorFromString(java.lang.String op_str)

Parse an operator from a string.

Parameters:

op_str - The operator string.

Returns:

The operator object.