public enum TemporalOperation extends java.lang.Enum<TemporalOperation>
Modifier and Type | Class and Description |
---|---|
static class |
TemporalOperation.Family
Logic family.
|
Modifier and Type | Method and Description |
---|---|
TemporalOperation.Family |
getFamily()
Returns the logic family of the operator.
|
static TemporalOperation.Family |
getFamily(ru.ispras.fortress.expression.NodeOperation node)
Returns the logic family of the specified NodeOperation.
|
static boolean |
isTemporal(ru.ispras.fortress.expression.Node node)
Checks whether the specified node is a temporal operation.
|
static TemporalOperation |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static TemporalOperation[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final TemporalOperation ASSERT
public static final TemporalOperation ASSUME
public static final TemporalOperation SERE_CONCAT
public static final TemporalOperation SERE_FUSE
public static final TemporalOperation SERE_OR
public static final TemporalOperation SERE_NON_LENGTH_AND
public static final TemporalOperation SERE_LENGTH_AND
public static final TemporalOperation SERE_WITHIN
public static final TemporalOperation SERE_CONS_REP_N
public static final TemporalOperation SERE_CONS_REP_N_M
public static final TemporalOperation SERE_CONS_REP_N_INF
public static final TemporalOperation SERE_NON_CONS_REP_N
public static final TemporalOperation SERE_NON_CONS_REP_N_M
public static final TemporalOperation SERE_NON_CONS_REP_N_INF
public static final TemporalOperation SERE_GOTO_REP_N
public static final TemporalOperation SERE_GOTO_REP_N_M
public static final TemporalOperation SERE_GOTO_REP_N_INF
public static final TemporalOperation SERE_GOTO_REP_LAST
public static final TemporalOperation PSL_ALWAYS
public static final TemporalOperation PSL_NEVER
public static final TemporalOperation PSL_EVENTUALLY
public static final TemporalOperation PSL_NEXT_STRONG
public static final TemporalOperation PSL_NEXT
public static final TemporalOperation PSL_NEXT_I_STRONG
public static final TemporalOperation PSL_NEXT_I
public static final TemporalOperation PSL_SUFF_IMPL_INC
public static final TemporalOperation PSL_SUFF_IMPL_EXC
public static final TemporalOperation PSL_IMPL
public static final TemporalOperation PSL_IFF
public static final TemporalOperation PSL_AND
public static final TemporalOperation PSL_OR
public static final TemporalOperation PSL_NOT
public static final TemporalOperation LTL_F
public static final TemporalOperation LTL_G
public static final TemporalOperation LTL_X
public static final TemporalOperation LTL_U
public static final TemporalOperation LTL_W
public static final TemporalOperation CTL_EF
public static final TemporalOperation CTL_U
public static final TemporalOperation CTL_E
public static TemporalOperation[] values()
for (TemporalOperation c : TemporalOperation.values()) System.out.println(c);
public static TemporalOperation valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic static boolean isTemporal(ru.ispras.fortress.expression.Node node)
node
- - the specified node.true
if the specified node is a temporal NodeOperation, false
otherwise.public static TemporalOperation.Family getFamily(ru.ispras.fortress.expression.NodeOperation node)
node
- - the specified operation.null
otherwise.public TemporalOperation.Family getFamily()