org.semanticweb.elk.reasoner.saturation.conclusions

Class ConclusionCounter

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

public class ConclusionCounter
extends Object

Constructor Summary

Constructors

Constructor and Description
ConclusionCounter()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ConclusionCounter counter) Adds all counters of the argument to the corresponding counters of this object.
int	getCountBackwardLinks()
int	getCountBottoms()
int	getCountDisjointnessAxioms()
int	getCountForwardLinks()
int	getCountNegativeSubsumers()
int	getCountPositiveSubsumers()
int	getCountPropagations()
long	getTotalCount()
void	reset() Reset all counters to zero.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConclusionCounter

public ConclusionCounter()

Method Detail

getCountNegativeSubsumers

public int getCountNegativeSubsumers()

getCountPositiveSubsumers

public int getCountPositiveSubsumers()

getCountBackwardLinks

public int getCountBackwardLinks()

getCountForwardLinks

public int getCountForwardLinks()

getCountBottoms

public int getCountBottoms()

getCountPropagations

public int getCountPropagations()

getCountDisjointnessAxioms

public int getCountDisjointnessAxioms()

reset

public void reset()

Reset all counters to zero.

add

public void add(ConclusionCounter counter)

Adds all counters of the argument to the corresponding counters of this object. The counters should not be directly modified other than using this method during this operation. The counter in the argument will be reseted after this operation.

Parameters:

counter - the object which counters should be added

getTotalCount

public long getTotalCount()