org.semanticweb.elk.reasoner.saturation.rules

Class DecompositionRuleApplicationTimer

java.lang.Object

org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer

public class DecompositionRuleApplicationTimer
extends Object

Constructor Summary

Constructors

Constructor and Description
DecompositionRuleApplicationTimer()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(DecompositionRuleApplicationTimer timer) Add the values the corresponding values of the given timer
int	getTotalRuleAppTime()
void	reset() Reset all timers zero.

Methods inherited from class java.lang.Object

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

Constructor Detail

DecompositionRuleApplicationTimer

public DecompositionRuleApplicationTimer()

Method Detail

reset

public void reset()

Reset all timers zero.

add

public void add(DecompositionRuleApplicationTimer timer)

Add the values the corresponding values of the given timer

Parameters:

timer -

getTotalRuleAppTime

public int getTotalRuleAppTime()