org.semanticweb.HermiT.monitor
Class Timer
java.lang.Object
org.semanticweb.HermiT.monitor.TableauMonitorAdapter
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
Constructor Summary |
Timer()
|
Timer(java.io.PrintWriter inOutput)
|
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 |
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
Timer
public Timer()
Timer
public Timer(java.io.PrintWriter inOutput)
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)