edu.wis.jtlv.env.core.spec
Enum InternalOp

java.lang.Object
  extended by java.lang.Enum<InternalOp>
      extended by edu.wis.jtlv.env.core.spec.InternalOp
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<InternalOp>

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


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 InternalOp[] binaryOp
           
static InternalOp[] CTLOp
           
static InternalOp[] FutureLTLOp
           
static InternalOp[] PastLTLOp
           
static InternalOp[] propOp
           
static InternalOp[] RealTimeCTLOp
           
static InternalOp[] tripletOp
           
static InternalOp[] 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()
           
 java.lang.String toString()
           
static InternalOp valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static InternalOp[] 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 InternalOp NOT

FINALLY

public static final InternalOp FINALLY

GLOBALLY

public static final InternalOp GLOBALLY

HISTORICALLY

public static final InternalOp HISTORICALLY

NEXT

public static final InternalOp NEXT

NOT_PREV_NOT

public static final InternalOp NOT_PREV_NOT

ONCE

public static final InternalOp ONCE

PREV

public static final InternalOp PREV

EX

public static final InternalOp EX

EF

public static final InternalOp EF

EG

public static final InternalOp EG

AX

public static final InternalOp AX

AF

public static final InternalOp AF

AG

public static final InternalOp AG

AND

public static final InternalOp AND

OR

public static final InternalOp OR

XOR

public static final InternalOp XOR

XNOR

public static final InternalOp XNOR

IFF

public static final InternalOp IFF

IMPLIES

public static final InternalOp IMPLIES

RELEASES

public static final InternalOp RELEASES

SINCE

public static final InternalOp SINCE

TRIGGERED

public static final InternalOp TRIGGERED

UNTIL

public static final InternalOp UNTIL

ABF

public static final InternalOp ABF

ABG

public static final InternalOp ABG

EBF

public static final InternalOp EBF

EBG

public static final InternalOp EBG

AU

public static final InternalOp AU

EU

public static final InternalOp EU

ABU

public static final InternalOp ABU

EBU

public static final InternalOp EBU
Field Detail

unaryOp

public static final InternalOp[] unaryOp

binaryOp

public static final InternalOp[] binaryOp

tripletOp

public static final InternalOp[] tripletOp

propOp

public static final InternalOp[] propOp

FutureLTLOp

public static final InternalOp[] FutureLTLOp

PastLTLOp

public static final InternalOp[] PastLTLOp

CTLOp

public static final InternalOp[] CTLOp

RealTimeCTLOp

public static final InternalOp[] RealTimeCTLOp
Method Detail

values

public static InternalOp[] 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 (InternalOp c : InternalOp.values())
    System.out.println(c);

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

valueOf

public static InternalOp 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()

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<InternalOp>