org.semanticweb.HermiT.monitor
Class TimerWithPause

java.lang.Object
  extended by org.semanticweb.HermiT.monitor.TableauMonitorAdapter
      extended by org.semanticweb.HermiT.monitor.Timer
          extended by org.semanticweb.HermiT.monitor.TimerWithPause
All Implemented Interfaces:
java.io.Serializable, TableauMonitor

public class TimerWithPause
extends Timer

See Also:
Serialized Form

Field Summary
protected  java.io.BufferedReader m_in
           
 
Fields inherited from class org.semanticweb.HermiT.monitor.Timer
m_lastStatusTime, m_numberOfBacktrackings, m_output, m_problemStartTime, m_testNumber
 
Fields inherited from class org.semanticweb.HermiT.monitor.TableauMonitorAdapter
m_tableau
 
Constructor Summary
TimerWithPause()
           
 
Method Summary
protected  void doStatistics()
           
 
Methods inherited from class org.semanticweb.HermiT.monitor.Timer
backtrackToFinished, isSatisfiableFinished, isSatisfiableStarted, iterationStarted, printPadded, printPaddedKB, printPaddedMS, readResolve, saturateStarted, start
 
Methods inherited from class org.semanticweb.HermiT.monitor.TableauMonitorAdapter
addFactFinished, addFactStarted, backtrackToStarted, blockingValidationFinished, blockingValidationStarted, clashDetected, clashDetectionFinished, clashDetectionStarted, datatypeCheckingFinished, datatypeCheckingStarted, datatypeConjunctionCheckingFinished, datatypeConjunctionCheckingStarted, descriptionGraphCheckingFinished, descriptionGraphCheckingStarted, disjunctProcessingFinished, disjunctProcessingStarted, dlClauseMatchedFinished, dlClauseMatchedStarted, existentialExpansionFinished, existentialExpansionStarted, existentialSatisfied, groundDisjunctionDerived, groundDisjunctionSatisfied, iterationFinished, mergeFactFinished, mergeFactStarted, mergeFinished, mergeStarted, nodeCreated, nodeDestroyed, nodePruned, nominalIntorductionFinished, nominalIntorductionStarted, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, setTableau, startNextBranchingPointFinished, startNextBranchingPointStarted, tableauCleared, tupleRemoved, unknownDatatypeRestrictionDetectionFinished, unknownDatatypeRestrictionDetectionStarted
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_in

protected java.io.BufferedReader m_in
Constructor Detail

TimerWithPause

public TimerWithPause()
Method Detail

doStatistics

protected void doStatistics()
Overrides:
doStatistics in class Timer