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

java.lang.Object
  extended by org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer

public class DecompositionRuleApplicationTimer
extends Object


Constructor Summary
DecompositionRuleApplicationTimer()
           
 
Method Summary
 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()


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.