org.semanticweb.elk.reasoner.saturation.conclusions

Class ConclusionStatistics

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

public class ConclusionStatistics
extends Object

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ConclusionStatistics stats)
void	check(org.apache.log4j.Logger logger)
ConclusionTimer	getConclusionTimers()
ConclusionCounter	getProcessedConclusionCounts()
ConclusionCounter	getProducedConclusionCounts()
ConclusionCounter	getUsedConclusionCounts()
void	print(org.apache.log4j.Logger logger)
void	reset() Reset all timers to zero.
void	startMeasurements()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConclusionStatistics

public ConclusionStatistics(ConclusionCounter producedConclusionCounter,
                    ConclusionCounter processedConclusionCounts,
                    ConclusionCounter usedConclusionCounts,
                    ConclusionTimer conclusionTimers)

ConclusionStatistics

public ConclusionStatistics()

Method Detail

getProducedConclusionCounts

public ConclusionCounter getProducedConclusionCounts()

getProcessedConclusionCounts

public ConclusionCounter getProcessedConclusionCounts()

getUsedConclusionCounts

public ConclusionCounter getUsedConclusionCounts()

getConclusionTimers

public ConclusionTimer getConclusionTimers()

reset

public void reset()

Reset all timers to zero.

add

public void add(ConclusionStatistics stats)

check

public void check(org.apache.log4j.Logger logger)

print

public void print(org.apache.log4j.Logger logger)

startMeasurements

public void startMeasurements()