public static enum TspResultLogger.Event extends java.lang.Enum<TspResultLogger.Event>
Enum Constant and Description |
---|
ALIVE |
ALTERNATIVE |
IMPROVED |
INIT |
TOPLEVELCHANGED |
UPPERBOUNDSREDUCED |
Modifier and Type | Field and Description |
---|---|
char |
symbol |
Modifier and Type | Method and Description |
---|---|
static TspResultLogger.Event |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static TspResultLogger.Event[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final TspResultLogger.Event INIT
public static final TspResultLogger.Event IMPROVED
public static final TspResultLogger.Event ALTERNATIVE
public static final TspResultLogger.Event UPPERBOUNDSREDUCED
public static final TspResultLogger.Event TOPLEVELCHANGED
public static final TspResultLogger.Event ALIVE
public static TspResultLogger.Event[] values()
for (TspResultLogger.Event c : TspResultLogger.Event.values()) System.out.println(c);
public static TspResultLogger.Event 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