Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

Packages that use ConclusionTimer

Package	Description
org.semanticweb.elk.reasoner.saturation.conclusions

Uses of ConclusionTimer in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return ConclusionTimer

Modifier and Type	Method and Description
ConclusionTimer	ConclusionStatistics.getConclusionTimers()

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionTimer

Modifier and Type	Method and Description
void	ConclusionTimer.add(ConclusionTimer timer) Adds all timers of the argument to the corresponding counters of this object.

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type ConclusionTimer

Constructor and Description
ConclusionStatistics(ConclusionCounter producedConclusionCounter, ConclusionCounter processedConclusionCounts, ConclusionCounter usedConclusionCounts, ConclusionTimer conclusionTimers)
TimedConclusionVisitor(ConclusionTimer timer, ConclusionVisitor<?> processor)