public enum ReasoningStrategy extends Enum<ReasoningStrategy>
| Modifier and Type | Method and Description |
|---|---|
static ReasoningStrategy |
getDefault()
Get the default reasoning strategy.
|
String |
getName()
Get the reasoning name.
|
static ReasoningStrategy |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ReasoningStrategy[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ReasoningStrategy MAXDOT
public static final ReasoningStrategy MAXMIN
public static ReasoningStrategy[] values()
for (ReasoningStrategy c : ReasoningStrategy.values()) System.out.println(c);
public static ReasoningStrategy valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullpublic String getName()
public static ReasoningStrategy getDefault()
Copyright © 2013–2014. All rights reserved.