|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<Configuration.ExistentialStrategyType>
org.semanticweb.HermiT.Configuration.ExistentialStrategyType
public static enum Configuration.ExistentialStrategyType
Sets a strategy type that determines how HermiT expands the model.
Enum Constant Summary | |
---|---|
CREATION_ORDER
Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials. |
|
EL
For EL ontologies this existential strategy can be set to use a deterministic version of individual reuse that behaves similar to EL-style algorithms. |
|
INDIVIDUAL_REUSE
Individual reuse tries to reuse existing individuals first before creating a fresh successor. |
|
OPTIMAL
The optimal strategy is determined as follows: if the ontology contains nominals, then individual reuse will be employed. |
Method Summary | |
---|---|
static Configuration.ExistentialStrategyType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Configuration.ExistentialStrategyType[] |
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 |
---|
public static final Configuration.ExistentialStrategyType CREATION_ORDER
public static final Configuration.ExistentialStrategyType INDIVIDUAL_REUSE
public static final Configuration.ExistentialStrategyType EL
public static final Configuration.ExistentialStrategyType OPTIMAL
Method Detail |
---|
public static Configuration.ExistentialStrategyType[] values()
for (Configuration.ExistentialStrategyType c : Configuration.ExistentialStrategyType.values()) System.out.println(c);
public static Configuration.ExistentialStrategyType 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 null
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |