|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ReasoningTaskDescription.StandardTestType | |
|---|---|
| org.semanticweb.HermiT.monitor | |
| org.semanticweb.HermiT.tableau | |
| Uses of ReasoningTaskDescription.StandardTestType in org.semanticweb.HermiT.monitor |
|---|
| Methods in org.semanticweb.HermiT.monitor with parameters of type ReasoningTaskDescription.StandardTestType | |
|---|---|
int |
CountingMonitor.getOverallNumberOfTests(ReasoningTaskDescription.StandardTestType testType)
|
java.util.List<CountingMonitor.TestRecord> |
CountingMonitor.getTimeSortedTestRecords(int limit,
ReasoningTaskDescription.StandardTestType standardTestType)
|
| Uses of ReasoningTaskDescription.StandardTestType in org.semanticweb.HermiT.tableau |
|---|
| Methods in org.semanticweb.HermiT.tableau that return ReasoningTaskDescription.StandardTestType | |
|---|---|
static ReasoningTaskDescription.StandardTestType |
ReasoningTaskDescription.StandardTestType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ReasoningTaskDescription.StandardTestType[] |
ReasoningTaskDescription.StandardTestType.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
| Constructors in org.semanticweb.HermiT.tableau with parameters of type ReasoningTaskDescription.StandardTestType | |
|---|---|
ReasoningTaskDescription(boolean flipSatisfiabilityResult,
ReasoningTaskDescription.StandardTestType testType,
java.lang.Object... arguments)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||