org.semanticweb.elk.reasoner.saturation.rules

Class RuleApplicationTimer

java.lang.Object

org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer

public class RuleApplicationTimer
extends Object

An object which can be used to measure time spent within a methods of a RuleApplicationVisitor. The fields of the timer correspond to the methods of RuleApplicationVisitor.

Author:

"Yevgeny Kazakov"

Field Summary

Fields

Modifier and Type	Field and Description
int	timeSubClassOfAxiomCompositionRule timer for IndexedSubClassOfAxiom.ThisCompositionRule

Constructor Summary

Constructors

Constructor and Description
RuleApplicationTimer()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(RuleApplicationTimer timer) Add the values the corresponding values of the given timer
int	getTotalRuleAppTime()
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

timeSubClassOfAxiomCompositionRule

public int timeSubClassOfAxiomCompositionRule

timer for IndexedSubClassOfAxiom.ThisCompositionRule

Constructor Detail

RuleApplicationTimer

public RuleApplicationTimer()

Method Detail

reset

public void reset()

Reset all timers to zero.

add

public void add(RuleApplicationTimer timer)

Add the values the corresponding values of the given timer

Parameters:

timer -

getTotalRuleAppTime

public int getTotalRuleAppTime()