|
||||||||||
| 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 | |||||||||