public static enum Utils.Statistic extends java.lang.Enum<Utils.Statistic>
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
static Utils.Statistic |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Utils.Statistic[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Utils.Statistic EXITCODE
public static final Utils.Statistic ALIGNMENTLENGTH
public static final Utils.Statistic TRACELENGTH
public static final Utils.Statistic PLACES
public static final Utils.Statistic TRANSITIONS
public static final Utils.Statistic COST
public static final Utils.Statistic EDGESTRAVERSED
public static final Utils.Statistic POLLACTIONS
public static final Utils.Statistic CLOSEDACTIONS
public static final Utils.Statistic QUEUEACTIONS
public static final Utils.Statistic MARKINGSREACHED
public static final Utils.Statistic HEURISTICSCOMPUTED
public static final Utils.Statistic HEURISTICSESTIMATED
public static final Utils.Statistic HEURISTICSDERIVED
public static final Utils.Statistic MAXQUEUELENGTH
public static final Utils.Statistic MAXQUEUECAPACITY
public static final Utils.Statistic VISITEDSETCAPACITY
public static final Utils.Statistic MEMORYUSED
public static final Utils.Statistic RUNTIME
public static final Utils.Statistic HEURISTICTIME
public static final Utils.Statistic SETUPTIME
public static final Utils.Statistic TOTALTIME
public static final Utils.Statistic SPLITS
public static final Utils.Statistic LMCOST
public static final Utils.Statistic MMCOST
public static final Utils.Statistic SMCOST
public static final Utils.Statistic PREPROCESSTIME
public static final Utils.Statistic CONSTRAINTSETSIZE
public static final Utils.Statistic RESTARTS
public static Utils.Statistic[] values()
for (Utils.Statistic c : Utils.Statistic.values()) System.out.println(c);
public static Utils.Statistic 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 java.lang.String toString()
toString
in class java.lang.Enum<Utils.Statistic>