org.semanticweb.HermiT.monitor

Class TimerWithPause

java.lang.Object

org.semanticweb.HermiT.monitor.TableauMonitorAdapter

org.semanticweb.HermiT.monitor.Timer

org.semanticweb.HermiT.monitor.TimerWithPause

All Implemented Interfaces:

Serializable, TableauMonitor

public class TimerWithPause
extends Timer

TimerWithPause.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TimerWithPause(OutputStream out)

Method Summary

Methods inherited from class org.semanticweb.HermiT.monitor.Timer

backtrackToFinished, isSatisfiableFinished, isSatisfiableStarted, iterationStarted, saturateStarted

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, possibleInstanceIsInstance, possibleInstanceIsNotInstance, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, setTableau, startNextBranchingPointFinished, startNextBranchingPointStarted, tableauCleared, tupleRemoved, unknownDatatypeRestrictionDetectionFinished, unknownDatatypeRestrictionDetectionStarted

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TimerWithPause

public TimerWithPause(OutputStream out)

Parameters:

out - out