org.semanticweb.elk.reasoner.saturation
Class SaturationStatistics

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.SaturationStatistics

public class SaturationStatistics
extends Object

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

SaturationStatistics()

Method Summary

void	add(SaturationStatistics statistics)
void	check(org.apache.log4j.Logger logger)
ConclusionStatistics	getConclusionStatistics()
ContextStatistics	getContextStatistics()
IncrementalProcessingStatistics	getIncrementalProcessingStatistics()
RuleStatistics	getRuleStatistics()
void	print(org.apache.log4j.Logger logger)
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

SaturationStatistics

public SaturationStatistics()

Method Detail

reset

public void reset()

add

public void add(SaturationStatistics statistics)

check

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

print

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

getRuleStatistics

public RuleStatistics getRuleStatistics()

getConclusionStatistics

public ConclusionStatistics getConclusionStatistics()

getContextStatistics

public ContextStatistics getContextStatistics()

getIncrementalProcessingStatistics

public IncrementalProcessingStatistics getIncrementalProcessingStatistics()