public static enum Simplification.Tag extends java.lang.Enum<Simplification.Tag>
Enum Constant and Description |
---|
AND |
ARRAYTERM |
EQUALS |
EXISTS |
FORALL |
GREATER |
GREATEREQUAL |
IMPLIES |
LAMBDAFORMULA |
LAMBDATERM |
LESS |
LESSEQUAL |
NOTEQUALS |
OR |
SIMILAR |
Modifier and Type | Method and Description |
---|---|
static Simplification.Tag |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Simplification.Tag[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Simplification.Tag AND
public static final Simplification.Tag OR
public static final Simplification.Tag IMPLIES
public static final Simplification.Tag FORALL
public static final Simplification.Tag EXISTS
public static final Simplification.Tag ARRAYTERM
public static final Simplification.Tag LAMBDATERM
public static final Simplification.Tag LAMBDAFORMULA
public static final Simplification.Tag EQUALS
public static final Simplification.Tag NOTEQUALS
public static final Simplification.Tag LESS
public static final Simplification.Tag LESSEQUAL
public static final Simplification.Tag GREATER
public static final Simplification.Tag GREATEREQUAL
public static final Simplification.Tag SIMILAR
public static Simplification.Tag[] values()
for (Simplification.Tag c : Simplification.Tag.values()) System.out.println(c);
public static Simplification.Tag 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 null