org.mindswap.pellet.tableau.completion.queue

Enum NodeSelector

java.lang.Object

java.lang.Enum<NodeSelector>

org.mindswap.pellet.tableau.completion.queue.NodeSelector

All Implemented Interfaces:

Serializable, Comparable<NodeSelector>

public enum NodeSelector
extends Enum<NodeSelector>

Title: NodeSelector

Description: Enumerated type used to select completion graph nodes

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Enum Constant Summary

Enum Constants

Enum Constant and Description
ATOM
CHOOSE
DATATYPE
DISJUNCTION
EXISTENTIAL
GUESS
LITERAL
MAX_NUMBER
MIN_NUMBER
NOMINAL
UNIVERSAL

Method Summary

Methods

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

Enum Constant Detail

ATOM

public static final NodeSelector ATOM

CHOOSE

public static final NodeSelector CHOOSE

DATATYPE

public static final NodeSelector DATATYPE

DISJUNCTION

public static final NodeSelector DISJUNCTION

EXISTENTIAL

public static final NodeSelector EXISTENTIAL

GUESS

public static final NodeSelector GUESS

LITERAL

public static final NodeSelector LITERAL

MAX_NUMBER

public static final NodeSelector MAX_NUMBER

MIN_NUMBER

public static final NodeSelector MIN_NUMBER

NOMINAL

public static final NodeSelector NOMINAL

UNIVERSAL

public static final NodeSelector UNIVERSAL

Method Detail

values

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

Returns:

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

valueOf

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

numSelectors

public static int numSelectors()