org.deri.iris.evaluation.topdown.oldt
Enum NodeState

java.lang.Object
  java.lang.Enum<NodeState>
      org.deri.iris.evaluation.topdown.oldt.NodeState

All Implemented Interfaces:

Serializable, Comparable<NodeState>

public enum NodeState
extends Enum<NodeState>

Represents the state of a node in a top-down proof tree. This enum could be reduced to PAUSED_N, PAUSED_C and DONE, but for the sake of better debugging output it includes all possible node states. INITIALIZED EVALUATING PAUSED_N this is a paused node PAUSED_C node contains at least one paused child SUCCESS FAILURE DONE node does not contain paused nodes

Author:

gigi

Enum Constant Summary

DONE

EVALUATING

FAILURE

INITIALIZED

PAUSED_C

PAUSED_N

SUCCESS

Method Summary

static NodeState	valueOf(String name) Returns the enum constant of this type with the specified name.
static NodeState[]	values() Returns an array containing the constants of this enum type, in the order they're declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

INITIALIZED

public static final NodeState INITIALIZED

EVALUATING

public static final NodeState EVALUATING

PAUSED_N

public static final NodeState PAUSED_N

PAUSED_C

public static final NodeState PAUSED_C

SUCCESS

public static final NodeState SUCCESS

FAILURE

public static final NodeState FAILURE

DONE

public static final NodeState DONE

Method Detail

values

public static final NodeState[] values()

Returns an array containing the constants of this enum type, in the order they're declared. This method may be used to iterate over the constants as follows:

for(NodeState c : NodeState.values())
        System.out.println(c);

Returns:

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

valueOf

public static NodeState 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