Uses of Class
org.semanticweb.HermiT.tableau.ReasoningTaskDescription.StandardTestType

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)