|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<SearchStrategy>
nl.liacs.subdisc.SearchStrategy
public enum SearchStrategy
SearchStrategy contains all available search strategies.
Enum Constant Summary | |
---|---|
BEAM
|
|
BEST_FIRST
|
|
BREADTH_FIRST
|
|
COVER_BASED_BEAM_SELECTION
|
|
DEPTH_FIRST
|
Field Summary | |
---|---|
java.lang.String |
GUI_TEXT
For each SearchStrategy, this is the text that will be used in the GUI. |
Method Summary | |
---|---|
static SearchStrategy |
getDefault()
Returns the default SearchStrategy. |
static SearchStrategy |
getSearchStrategy(java.lang.String theType)
Returns the SearchStartegy corresponding to the String
parameter. |
boolean |
isBeam()
|
java.lang.String |
toString()
Returns a friendly String |
static SearchStrategy |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static SearchStrategy[] |
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, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final SearchStrategy BEAM
public static final SearchStrategy COVER_BASED_BEAM_SELECTION
public static final SearchStrategy BEST_FIRST
public static final SearchStrategy DEPTH_FIRST
public static final SearchStrategy BREADTH_FIRST
Field Detail |
---|
public final java.lang.String GUI_TEXT
String
that will be returned by the
toString() method.
Method Detail |
---|
public static SearchStrategy[] values()
for (SearchStrategy c : SearchStrategy.values()) System.out.println(c);
public static SearchStrategy 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 SearchStrategy getSearchStrategy(java.lang.String theType)
String
parameter. This method is case insensitive.
theType
- the String
corresponding to a SearchStrategy.
String
parameter, or the default SearchStrategy BEAM
if no
corresponding SearchStrategy can not be found.public static SearchStrategy getDefault()
public java.lang.String toString()
EnumInterface
String to show in the GUI.
- Specified by:
toString
in interface EnumInterface
- Overrides:
toString
in class java.lang.Enum<SearchStrategy>
- Returns:
- the text
String
presented to the end user.
public boolean isBeam()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |