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.2.0"

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()
boolean	isCTLOp()
boolean	isFutureLTLOp()
boolean	isLTLOp()
boolean	isPastLTLOp()
boolean	isProp()
boolean	isRealTimeCTLOp()
boolean	isTemporalOp()
boolean	isTriplet()
boolean	isUnary()
int	numOfOperands()
static Operator	OperatorFromString(java.lang.String op_str)
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're 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 final Operator[] values()

Returns an array containing the constants of this enum type, in the order they're 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're 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

isProp

public boolean isProp()

isLTLOp

public boolean isLTLOp()

isFutureLTLOp

public boolean isFutureLTLOp()

isPastLTLOp

public boolean isPastLTLOp()

isCTLOp

public boolean isCTLOp()

isRealTimeCTLOp

public boolean isRealTimeCTLOp()

isTemporalOp

public boolean isTemporalOp()

isUnary

public boolean isUnary()

isBinary

public boolean isBinary()

isTriplet

public boolean isTriplet()

numOfOperands

public int numOfOperands()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Enum<Operator>

OperatorFromString

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