|
||||||||||
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 |