org.semanticweb.elk.reasoner.saturation.rules
Class DecompositionRuleApplicationTimer
java.lang.Object
org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer
public class DecompositionRuleApplicationTimer
- extends Object
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DecompositionRuleApplicationTimer
public DecompositionRuleApplicationTimer()
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.