|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use CountingMonitor.TestRecord | |
|---|---|
| org.semanticweb.HermiT.monitor | |
| Uses of CountingMonitor.TestRecord in org.semanticweb.HermiT.monitor |
|---|
| Fields in org.semanticweb.HermiT.monitor with type parameters of type CountingMonitor.TestRecord | |
|---|---|
protected java.util.Map<java.lang.String,java.util.List<CountingMonitor.TestRecord>> |
CountingMonitor.m_testRecords
|
| Methods in org.semanticweb.HermiT.monitor that return types with arguments of type CountingMonitor.TestRecord | |
|---|---|
java.util.List<CountingMonitor.TestRecord> |
CountingMonitor.getTimeSortedTestRecords(int limit)
|
java.util.List<CountingMonitor.TestRecord> |
CountingMonitor.getTimeSortedTestRecords(int limit,
ReasoningTaskDescription.StandardTestType standardTestType)
|
java.util.List<CountingMonitor.TestRecord> |
CountingMonitor.getTimeSortedTestRecords(int limit,
java.lang.String messagePattern)
|
| Methods in org.semanticweb.HermiT.monitor with parameters of type CountingMonitor.TestRecord | |
|---|---|
int |
CountingMonitor.TestRecord.compareTo(CountingMonitor.TestRecord that)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||