org.semanticweb.HermiT.monitor
Class Timer

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

public class Timer
extends TableauMonitorAdapter

See Also:
Serialized Form

Field Summary
protected  long m_lastStatusTime
           
protected  int m_numberOfBacktrackings
           
protected  java.io.PrintWriter m_output
           
protected  long m_problemStartTime
           
protected  int m_testNumber
           
 
Fields inherited from class org.semanticweb.HermiT.monitor.TableauMonitorAdapter
m_tableau
 
Constructor Summary
Timer()
           
Timer(java.io.PrintWriter inOutput)
           
 
Method Summary
 void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
           
protected  void doStatistics()
           
 void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void iterationStarted()
           
protected  void printPadded(int number, int padding)
           
protected  void printPaddedKB(int number, int padding)
           
protected  void printPaddedMS(long number, int padding)
           
protected  java.lang.Object readResolve()
           
 void saturateStarted()
           
protected  void 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_output

protected transient java.io.PrintWriter m_output

m_problemStartTime

protected long m_problemStartTime

m_lastStatusTime

protected long m_lastStatusTime

m_numberOfBacktrackings

protected int m_numberOfBacktrackings

m_testNumber

protected int m_testNumber
Constructor Detail

Timer

public Timer()

Timer

public Timer(java.io.PrintWriter inOutput)
Method Detail

readResolve

protected java.lang.Object readResolve()

start

protected void start()

isSatisfiableStarted

public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
Specified by:
isSatisfiableStarted in interface TableauMonitor
Overrides:
isSatisfiableStarted in class TableauMonitorAdapter

isSatisfiableFinished

public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
                                  boolean result)
Specified by:
isSatisfiableFinished in interface TableauMonitor
Overrides:
isSatisfiableFinished in class TableauMonitorAdapter

iterationStarted

public void iterationStarted()
Specified by:
iterationStarted in interface TableauMonitor
Overrides:
iterationStarted in class TableauMonitorAdapter

saturateStarted

public void saturateStarted()
Specified by:
saturateStarted in interface TableauMonitor
Overrides:
saturateStarted in class TableauMonitorAdapter

backtrackToFinished

public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
Specified by:
backtrackToFinished in interface TableauMonitor
Overrides:
backtrackToFinished in class TableauMonitorAdapter

doStatistics

protected void doStatistics()

printPadded

protected void printPadded(int number,
                           int padding)

printPaddedMS

protected void printPaddedMS(long number,
                             int padding)

printPaddedKB

protected void printPaddedKB(int number,
                             int padding)