|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.monitor.TableauMonitorAdapter
org.semanticweb.HermiT.monitor.Timer
org.semanticweb.HermiT.monitor.TimerWithPause
public class TimerWithPause
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 java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.io.BufferedReader m_in
Constructor Detail |
---|
public TimerWithPause()
Method Detail |
---|
protected void doStatistics()
doStatistics
in class Timer
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |