org.eclipse.viatra.dse.designspace.api

Enum IState.TraversalStateType

java.lang.Object

java.lang.Enum<IState.TraversalStateType>

org.eclipse.viatra.dse.designspace.api.IState.TraversalStateType

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<IState.TraversalStateType>

Enclosing interface:

IState

public static enum IState.TraversalStateType
extends java.lang.Enum<IState.TraversalStateType>

A state can be categorized with the following types:

A traversed state is a state that has been found and outgoing arcs have been set up, but does not satisfy the conditions of either a goal or a cut-off state, thus further exploration is possible.

A goal state is a state which satisfies the specified goal conditions, but does not satisfy the conditions of a cut-off state, making this state a possibly desirable outcome of the exploration process. A goal state shall not be further explored.

A cut state is a state which satisfies the conditions of a cut-off state, making this state an undesirable or invalid state. A cut state shall not be further explored, nor shall be reported as a goal regardless if it satisfies the conditions for a goal.

Enum Constant Summary

Enum Constants

Enum Constant and Description
CUT
GOAL
TRAVERSED

Method Summary

Methods

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

Methods inherited from class java.lang.Enum

compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

TRAVERSED

public static final IState.TraversalStateType TRAVERSED

GOAL

public static final IState.TraversalStateType GOAL

CUT

public static final IState.TraversalStateType CUT

Method Detail

values

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

Returns:

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

valueOf

public static IState.TraversalStateType 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