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)
           
 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(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, Object... arguments)
           
 



Copyright © 2012. All Rights Reserved.