org.semanticweb.elk.reasoner.saturation.context

Class ContextStatistics

java.lang.Object

org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

public class ContextStatistics
extends Object

Keeps statistics about the number of created and modified contexts

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

Fields

Modifier and Type	Field and Description
int	countCreatedContexts The number of created contexts
int	countModifiedContexts
int	countProcessedContexts the number of times a context has been processed
long	timeContextProcess the time spent on processing

Constructor Summary

Constructors

Constructor and Description
ContextStatistics()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ContextStatistics stats)
void	check(org.apache.log4j.Logger logger)
void	print(org.apache.log4j.Logger logger, org.apache.log4j.Priority level)
void	reset() Reset all timers to zero.

Methods inherited from class java.lang.Object

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

Field Detail

countCreatedContexts

public int countCreatedContexts

The number of created contexts

countProcessedContexts

public int countProcessedContexts

the number of times a context has been processed

countModifiedContexts

public int countModifiedContexts

timeContextProcess

public long timeContextProcess

the time spent on processing

Constructor Detail

ContextStatistics

public ContextStatistics()

Method Detail

reset

public void reset()

Reset all timers to zero.

add

public void add(ContextStatistics stats)

print

public void print(org.apache.log4j.Logger logger,
         org.apache.log4j.Priority level)

check

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