org.processmining.multilayeralignment.models.mlreplay

Enum Utils.Statistic

java.lang.Object

java.lang.Enum<Utils.Statistic>

org.processmining.multilayeralignment.models.mlreplay.Utils.Statistic

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Utils.Statistic>

Enclosing class:

Utils

public static enum Utils.Statistic
extends java.lang.Enum<Utils.Statistic>

Enum Constant Summary

Enum Constants

Enum Constant and Description
ALIGNMENTLENGTH
CLOSEDACTIONS
CONSTRAINTSETSIZE
COST
DMCOST
EDGESTRAVERSED
EXITCODE
HEURISTICSCOMPUTED
HEURISTICSDERIVED
HEURISTICSESTIMATED
HEURISTICTIME
LMCOST
MARKINGSREACHED
MAXQUEUECAPACITY
MAXQUEUELENGTH
MEMORYUSED
MMCOST
PLACES
PMCOST
POLLACTIONS
PREPROCESSTIME
QUEUEACTIONS
RESTARTS
RUNTIME
SETUPTIME
SMCOST
SPLITS
TOTALTIME
TRACELENGTH
TRANSITIONS
VISITEDSETCAPACITY

Method Summary

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.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

EXITCODE

public static final Utils.Statistic EXITCODE

ALIGNMENTLENGTH

public static final Utils.Statistic ALIGNMENTLENGTH

TRACELENGTH

public static final Utils.Statistic TRACELENGTH

PLACES

public static final Utils.Statistic PLACES

TRANSITIONS

public static final Utils.Statistic TRANSITIONS

COST

public static final Utils.Statistic COST

EDGESTRAVERSED

public static final Utils.Statistic EDGESTRAVERSED

POLLACTIONS

public static final Utils.Statistic POLLACTIONS

CLOSEDACTIONS

public static final Utils.Statistic CLOSEDACTIONS

QUEUEACTIONS

public static final Utils.Statistic QUEUEACTIONS

MARKINGSREACHED

public static final Utils.Statistic MARKINGSREACHED

HEURISTICSCOMPUTED

public static final Utils.Statistic HEURISTICSCOMPUTED

HEURISTICSESTIMATED

public static final Utils.Statistic HEURISTICSESTIMATED

HEURISTICSDERIVED

public static final Utils.Statistic HEURISTICSDERIVED

MAXQUEUELENGTH

public static final Utils.Statistic MAXQUEUELENGTH

MAXQUEUECAPACITY

public static final Utils.Statistic MAXQUEUECAPACITY

VISITEDSETCAPACITY

public static final Utils.Statistic VISITEDSETCAPACITY

MEMORYUSED

public static final Utils.Statistic MEMORYUSED

RUNTIME

public static final Utils.Statistic RUNTIME

HEURISTICTIME

public static final Utils.Statistic HEURISTICTIME

SETUPTIME

public static final Utils.Statistic SETUPTIME

TOTALTIME

public static final Utils.Statistic TOTALTIME

SPLITS

public static final Utils.Statistic SPLITS

LMCOST

public static final Utils.Statistic LMCOST

MMCOST

public static final Utils.Statistic MMCOST

SMCOST

public static final Utils.Statistic SMCOST

PMCOST

public static final Utils.Statistic PMCOST

DMCOST

public static final Utils.Statistic DMCOST

PREPROCESSTIME

public static final Utils.Statistic PREPROCESSTIME

CONSTRAINTSETSIZE

public static final Utils.Statistic CONSTRAINTSETSIZE

RESTARTS

public static final Utils.Statistic RESTARTS

Method Detail

values

public static Utils.Statistic[] 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 (Utils.Statistic c : Utils.Statistic.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static Utils.Statistic 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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Enum<Utils.Statistic>