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

Packages that use ConclusionCounter

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

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

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

Modifier and Type	Method and Description
ConclusionCounter	ConclusionStatistics.getProcessedConclusionCounts()
ConclusionCounter	ConclusionStatistics.getProducedConclusionCounts()
ConclusionCounter	ConclusionStatistics.getUsedConclusionCounts()

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

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

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

Constructor and Description
ConclusionStatistics(ConclusionCounter producedConclusionCounter, ConclusionCounter processedConclusionCounts, ConclusionCounter usedConclusionCounts, ConclusionTimer conclusionTimers)
CountingConclusionVisitor(ConclusionCounter counter)