Enum Class PhaseStatsBenchmarkRunner.Slot

java.lang.Object

java.lang.Enum<PhaseStatsBenchmarkRunner.Slot>

it.univr.di.cstnu.algorithms.PhaseStatsBenchmarkRunner.Slot

All Implemented Interfaces:

Serializable, Comparable<PhaseStatsBenchmarkRunner.Slot>, Constable

Enclosing class:

PhaseStatsBenchmarkRunner

static enum PhaseStatsBenchmarkRunner.Slot
extends Enum<PhaseStatsBenchmarkRunner.Slot>

The six sub-problem "slots" of the dispatchability pipeline shared by all three algorithms. Not every algorithm fills every slot: MDE has no E_SP4 and no SP6; SIMP-SEQ-MINUS has no E_SP4.

Author:

posenato

Nested Class Summary

Nested classes/interfaces inherited from class Enum

Enum.EnumDesc<E>

Enum Constant Summary

Enum Constants

Enum Constant	Description
E_SP4	Early dispSTN (FD's own phase-5 minimization); only SIMP-SEQ has it.
SP1	UC-bypass generation.
SP2	LC-bypass generation.
SP3	Stand-in generation.
SP4	dispSTN on the ordinary subgraph.
SP5	Remove residual stand-ins.
SP6	Remove dominated waits; only SIMP-SEQ/SIMP-SEQ-MINUS have it.

Method Summary

Modifier and Type	Method	Description
static PhaseStatsBenchmarkRunner.Slot	valueOf(String name)	Returns the enum constant of this class with the specified name.
static PhaseStatsBenchmarkRunner.Slot[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class Enum

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

Methods inherited from class Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

SP1

public static final PhaseStatsBenchmarkRunner.Slot SP1

UC-bypass generation.

SP2

public static final PhaseStatsBenchmarkRunner.Slot SP2

LC-bypass generation.

E_SP4

public static final PhaseStatsBenchmarkRunner.Slot E_SP4

Early dispSTN (FD's own phase-5 minimization); only SIMP-SEQ has it.

SP3

public static final PhaseStatsBenchmarkRunner.Slot SP3

Stand-in generation.

SP4

public static final PhaseStatsBenchmarkRunner.Slot SP4

dispSTN on the ordinary subgraph.

SP5

public static final PhaseStatsBenchmarkRunner.Slot SP5

Remove residual stand-ins.

SP6

public static final PhaseStatsBenchmarkRunner.Slot SP6

Remove dominated waits; only SIMP-SEQ/SIMP-SEQ-MINUS have it.

Method Details

values

public static PhaseStatsBenchmarkRunner.Slot[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

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

valueOf

public static PhaseStatsBenchmarkRunner.Slot valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (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:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null