org.semanticweb.elk.reasoner.saturation.conclusions

Class ConclusionTimer

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

public class ConclusionTimer
extends Object

Constructor Summary

Constructors

Constructor and Description
ConclusionTimer()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ConclusionTimer timer) Adds all timers of the argument to the corresponding counters of this object.
long	getTimeBackwardLinks()
long	getTimeBottoms()
long	getTimeDisjointnessAxioms()
long	getTimeForwardLinks()
long	getTimeNegativeSubsumers()
long	getTimePositiveSubsumers()
long	getTimePropagations()
long	getTotalTime()
void	reset() Reset all times to zero.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConclusionTimer

public ConclusionTimer()

Method Detail

getTimeNegativeSubsumers

public long getTimeNegativeSubsumers()

getTimePositiveSubsumers

public long getTimePositiveSubsumers()

getTimeBackwardLinks

public long getTimeBackwardLinks()

getTimeForwardLinks

public long getTimeForwardLinks()

getTimeBottoms

public long getTimeBottoms()

getTimePropagations

public long getTimePropagations()

getTimeDisjointnessAxioms

public long getTimeDisjointnessAxioms()

getTotalTime

public long getTotalTime()

reset

public void reset()

Reset all times to zero.

add

public void add(ConclusionTimer timer)

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

Parameters:

timer - the object which counters should be added