Package de.learnlib.datastructure.pta.config

Enum DefaultProcessingOrders

java.lang.Object

java.lang.Enum<DefaultProcessingOrders>

de.learnlib.datastructure.pta.config.DefaultProcessingOrders

All Implemented Interfaces:

ProcessingOrder, Serializable, Comparable<DefaultProcessingOrders>

public enum DefaultProcessingOrders
extends Enum<DefaultProcessingOrders>
implements ProcessingOrder

Standard processing orders that can be used for the RPNI algorithm.

Enum Constant Summary

Enum Constants

Enum Constant	Description
CANONICAL_ORDER	Processes blue states in ascending canonical order of their access sequences.
FIFO_ORDER	Processes blue states in a first-in, first-out (queue-like) manner.
LEX_ORDER	Processes blue states in ascending lexicographical order of their access sequences.
LIFO_ORDER	Processes blue states in a last-in, first-out (stack-like) manner.

Method Summary

Modifier and Type	Method	Description
static DefaultProcessingOrders	valueOf(String name)	Returns the enum constant of this type with the specified name.
static DefaultProcessingOrders[]	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, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.learnlib.datastructure.pta.config.ProcessingOrder

createWorklist

Enum Constant Detail

CANONICAL_ORDER

public static final DefaultProcessingOrders CANONICAL_ORDER

Processes blue states in ascending canonical order of their access sequences.

See Also:

AbstractBlueFringePTAState.compareTo(AbstractBlueFringePTAState), CmpUtil.canonicalCompare(int[], int[])

LEX_ORDER

public static final DefaultProcessingOrders LEX_ORDER

Processes blue states in ascending lexicographical order of their access sequences.

See Also:

AbstractBlueFringePTAState.lexCompareTo(AbstractBlueFringePTAState), CmpUtil.lexCompare(int[], int[])

FIFO_ORDER

public static final DefaultProcessingOrders FIFO_ORDER

Processes blue states in a first-in, first-out (queue-like) manner.

LIFO_ORDER

public static final DefaultProcessingOrders LIFO_ORDER

Processes blue states in a last-in, first-out (stack-like) manner.

Method Detail

values

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

Returns:

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

valueOf

public static DefaultProcessingOrders valueOf(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:

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

NullPointerException - if the argument is null