edu.wis.jtlv.env.core.spec
Enum InternalOp
java.lang.Object
java.lang.Enum<InternalOp>
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>
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 |
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
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
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>