|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<NodeSelector>
org.mindswap.pellet.tableau.completion.queue.NodeSelector
public enum NodeSelector
Title: NodeSelector
Description: Enumerated type used to select completion graph nodes
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Enum Constant Summary | |
---|---|
ATOM
|
|
CHOOSE
|
|
DATATYPE
|
|
DISJUNCTION
|
|
EXISTENTIAL
|
|
GUESS
|
|
LITERAL
|
|
MAX_NUMBER
|
|
MIN_NUMBER
|
|
NOMINAL
|
|
UNIVERSAL
|
Method Summary | |
---|---|
static int |
numSelectors()
|
static NodeSelector |
valueOf(java.lang.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 |
---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final NodeSelector ATOM
public static final NodeSelector CHOOSE
public static final NodeSelector DATATYPE
public static final NodeSelector DISJUNCTION
public static final NodeSelector EXISTENTIAL
public static final NodeSelector GUESS
public static final NodeSelector LITERAL
public static final NodeSelector MAX_NUMBER
public static final NodeSelector MIN_NUMBER
public static final NodeSelector NOMINAL
public static final NodeSelector UNIVERSAL
Method Detail |
---|
public static NodeSelector[] values()
for (NodeSelector c : NodeSelector.values()) System.out.println(c);
public static NodeSelector valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is nullpublic static int numSelectors()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |