org.semanticweb.HermiT.tableau

Enum NodeType

java.lang.Object

java.lang.Enum<NodeType>

org.semanticweb.HermiT.tableau.NodeType

All Implemented Interfaces:

Serializable, Comparable<NodeType>

public enum NodeType
extends Enum<NodeType>

NodeType.

Enum Constant Summary

Enum Constants

Enum Constant and Description
CONCRETE_NODE CONCRETE_NODE
GRAPH_NODE GRAPH_NODE
NAMED_NODE NAMED_NODE
NI_NODE NI_NODE
ROOT_CONSTANT_NODE ROOT_CONSTANT_NODE
TREE_NODE TREE_NODE

Method Summary

Modifier and Type	Method and Description
int	getMergePrecedence()
boolean	isAbstract()
boolean	isNITarget()
static NodeType	valueOf(String name) Returns the enum constant of this type with the specified name.
static NodeType[]	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

NAMED_NODE

public static final NodeType NAMED_NODE

NAMED_NODE

NI_NODE

public static final NodeType NI_NODE

NI_NODE

ROOT_CONSTANT_NODE

public static final NodeType ROOT_CONSTANT_NODE

ROOT_CONSTANT_NODE

TREE_NODE

public static final NodeType TREE_NODE

TREE_NODE

GRAPH_NODE

public static final NodeType GRAPH_NODE

GRAPH_NODE

CONCRETE_NODE

public static final NodeType CONCRETE_NODE

CONCRETE_NODE

Method Detail

values

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

Returns:

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

valueOf

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

getMergePrecedence

public int getMergePrecedence()

Returns:

merge precedence

isNITarget

public boolean isNITarget()

Returns:

ni target

isAbstract

public boolean isAbstract()

Returns:

is abstract