org.semanticweb.HermiT.monitor

Class Timer

java.lang.Object

org.semanticweb.HermiT.monitor.TableauMonitorAdapter

org.semanticweb.HermiT.monitor.Timer

All Implemented Interfaces:

Serializable, TableauMonitor

Direct Known Subclasses:

TimerWithPause

public class Timer
extends TableauMonitorAdapter

Timer.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Timer(OutputStream out)

Method Summary

Modifier and Type	Method and Description
void	backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	iterationStarted() Iteration started.
void	saturateStarted() Saturate started.

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

Timer

public Timer(OutputStream out)

Parameters:

out - out

Method Detail

isSatisfiableStarted

public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)

Specified by:

isSatisfiableStarted in interface TableauMonitor

Overrides:

isSatisfiableStarted in class TableauMonitorAdapter

Parameters:

reasoningTaskDescription - reasoningTaskDescription

isSatisfiableFinished

public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
                                  boolean result)

Specified by:

isSatisfiableFinished in interface TableauMonitor

Overrides:

isSatisfiableFinished in class TableauMonitorAdapter

Parameters:

reasoningTaskDescription - reasoningTaskDescription

result - result

iterationStarted

public void iterationStarted()

Description copied from interface: TableauMonitor

Iteration started.

Specified by:

iterationStarted in interface TableauMonitor

Overrides:

iterationStarted in class TableauMonitorAdapter

saturateStarted

public void saturateStarted()

Description copied from interface: TableauMonitor

Saturate started.

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

Parameters:

newCurrentBrancingPoint - newCurrentBrancingPoint