org.semanticweb.HermiT.tableau
Enum ReasoningTaskDescription.StandardTestType
java.lang.Object
java.lang.Enum<ReasoningTaskDescription.StandardTestType>
org.semanticweb.HermiT.tableau.ReasoningTaskDescription.StandardTestType
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Comparable<ReasoningTaskDescription.StandardTestType>
- Enclosing class:
- ReasoningTaskDescription
public static enum ReasoningTaskDescription.StandardTestType
- extends java.lang.Enum<ReasoningTaskDescription.StandardTestType>
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 |
CONCEPT_SATISFIABILITY
public static final ReasoningTaskDescription.StandardTestType CONCEPT_SATISFIABILITY
CONSISTENCY
public static final ReasoningTaskDescription.StandardTestType CONSISTENCY
CONCEPT_SUBSUMPTION
public static final ReasoningTaskDescription.StandardTestType CONCEPT_SUBSUMPTION
OBJECT_ROLE_SATISFIABILITY
public static final ReasoningTaskDescription.StandardTestType OBJECT_ROLE_SATISFIABILITY
DATA_ROLE_SATISFIABILITY
public static final ReasoningTaskDescription.StandardTestType DATA_ROLE_SATISFIABILITY
OBJECT_ROLE_SUBSUMPTION
public static final ReasoningTaskDescription.StandardTestType OBJECT_ROLE_SUBSUMPTION
DATA_ROLE_SUBSUMPTION
public static final ReasoningTaskDescription.StandardTestType DATA_ROLE_SUBSUMPTION
INSTANCE_OF
public static final ReasoningTaskDescription.StandardTestType INSTANCE_OF
OBJECT_ROLE_INSTANCE_OF
public static final ReasoningTaskDescription.StandardTestType OBJECT_ROLE_INSTANCE_OF
DATA_ROLE_INSTANCE_OF
public static final ReasoningTaskDescription.StandardTestType DATA_ROLE_INSTANCE_OF
ENTAILMENT
public static final ReasoningTaskDescription.StandardTestType ENTAILMENT
DOMAIN
public static final ReasoningTaskDescription.StandardTestType DOMAIN
RANGE
public static final ReasoningTaskDescription.StandardTestType RANGE
messagePattern
public final java.lang.String messagePattern
values
public static ReasoningTaskDescription.StandardTestType[] 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 (ReasoningTaskDescription.StandardTestType c : ReasoningTaskDescription.StandardTestType.values())
System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in
the order they are declared
valueOf
public static ReasoningTaskDescription.StandardTestType valueOf(java.lang.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:
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is null