Uses of Class
org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

Packages that use CountingMonitor.TestRecord

Package	Description
org.semanticweb.HermiT.monitor

Uses of CountingMonitor.TestRecord in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type CountingMonitor.TestRecord

Modifier and Type	Method and Description
int	CountingMonitor.TestRecord.compareTo(CountingMonitor.TestRecord that)