org.semanticweb.HermiT.monitor
Class CountingMonitor

java.lang.Object
  org.semanticweb.HermiT.monitor.TableauMonitorAdapter
      org.semanticweb.HermiT.monitor.CountingMonitor

All Implemented Interfaces:

java.io.Serializable, TableauMonitor

public class CountingMonitor
extends TableauMonitorAdapter

See Also:

Serialized Form

Nested Class Summary

static class

CountingMonitor.TestRecord

Field Summary

protected int	m_initiallyBlocked
protected int	m_initiallyInvalid
protected int	m_initialModelSize
protected int	m_noValidations
protected int	m_numberOfBacktrackings
protected int	m_numberOfBlockedNodes
protected int	m_numberOfNodes
protected int	m_overallInitiallyBlocked
protected int	m_overallInitiallyInvalid
protected int	m_overallInitialModelSize
protected int	m_overallNoValidations
protected int	m_overallNumberOfBacktrackings
protected int	m_overallNumberOfBlockedNodes
protected int	m_overallNumberOfClashes
protected int	m_overallNumberOfNodes
protected int	m_overallNumberOfTests
protected long	m_overallTime
protected long	m_overallValidationTime
protected long	m_problemStartTime
protected ReasoningTaskDescription	m_reasoningTaskDescription
protected java.util.Map<java.lang.String,java.util.List<CountingMonitor.TestRecord>>	m_testRecords
protected boolean	m_testResult
protected long	m_time
protected long	m_validationStartTime
protected long	m_validationTime

Fields inherited from class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

m_tableau

Constructor Summary

CountingMonitor()

Method Summary

void	backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	blockingValidationFinished(int noInvalidlyBlocked)
void	blockingValidationStarted()
int	getInitiallyBlocked()
int	getInitiallyInvalid()
int	getInitialModelSize()
int	getNoValidations()
int	getNumberOfBacktrackings()
int	getNumberOfBlockedNodes()
int	getNumberOfNodes()
int	getOverallInitiallyBlocked()
int	getOverallInitiallyInvalid()
int	getOverallInitialModelSize()
int	getOverallNoValidations()
int	getOverallNumberOfBacktrackings()
int	getOverallNumberOfBlockedNodes()
int	getOverallNumberOfClashes()
int	getOverallNumberOfNodes()
int	getOverallNumberOfTests()
int	getOverallNumberOfTests(ReasoningTaskDescription.StandardTestType testType)
long	getOverallTime()
long	getOverallValidationTime()
java.lang.String	getTestDescription()
boolean	getTestResult()
long	getTime()
java.util.List<CountingMonitor.TestRecord>	getTimeSortedTestRecords(int limit)
java.util.List<CountingMonitor.TestRecord>	getTimeSortedTestRecords(int limit, ReasoningTaskDescription.StandardTestType standardTestType)
java.util.List<CountingMonitor.TestRecord>	getTimeSortedTestRecords(int limit, java.lang.String messagePattern)
java.util.Set<java.lang.String>	getUsedMessagePatterns()
long	getValidationTime()
void	isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
static java.lang.String	millisToHoursMinutesSecondsString(long millis)

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

addFactFinished, addFactStarted, backtrackToStarted, clashDetected, clashDetectionFinished, clashDetectionStarted, datatypeCheckingFinished, datatypeCheckingStarted, datatypeConjunctionCheckingFinished, datatypeConjunctionCheckingStarted, descriptionGraphCheckingFinished, descriptionGraphCheckingStarted, disjunctProcessingFinished, disjunctProcessingStarted, dlClauseMatchedFinished, dlClauseMatchedStarted, existentialExpansionFinished, existentialExpansionStarted, existentialSatisfied, groundDisjunctionDerived, groundDisjunctionSatisfied, iterationFinished, iterationStarted, mergeFactFinished, mergeFactStarted, mergeFinished, mergeStarted, nodeCreated, nodeDestroyed, nodePruned, nominalIntorductionFinished, nominalIntorductionStarted, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, saturateStarted, 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

Field Detail

m_problemStartTime

protected long m_problemStartTime

m_validationStartTime

protected long m_validationStartTime

m_time

protected long m_time

m_numberOfBacktrackings

protected int m_numberOfBacktrackings

m_numberOfNodes

protected int m_numberOfNodes

m_numberOfBlockedNodes

protected int m_numberOfBlockedNodes

m_reasoningTaskDescription

protected ReasoningTaskDescription m_reasoningTaskDescription

m_testResult

protected boolean m_testResult

m_initialModelSize

protected int m_initialModelSize

m_initiallyBlocked

protected int m_initiallyBlocked

m_initiallyInvalid

protected int m_initiallyInvalid

m_noValidations

protected int m_noValidations

m_validationTime

protected long m_validationTime

m_testRecords

protected final java.util.Map<java.lang.String,java.util.List<CountingMonitor.TestRecord>> m_testRecords

m_overallTime

protected long m_overallTime

m_overallNumberOfBacktrackings

protected int m_overallNumberOfBacktrackings

m_overallNumberOfNodes

protected int m_overallNumberOfNodes

m_overallNumberOfBlockedNodes

protected int m_overallNumberOfBlockedNodes

m_overallNumberOfTests

protected int m_overallNumberOfTests

m_overallNumberOfClashes

protected int m_overallNumberOfClashes

m_overallInitialModelSize

protected int m_overallInitialModelSize

m_overallInitiallyBlocked

protected int m_overallInitiallyBlocked

m_overallInitiallyInvalid

protected int m_overallInitiallyInvalid

m_overallNoValidations

protected int m_overallNoValidations

m_overallValidationTime

protected long m_overallValidationTime

Constructor Detail

CountingMonitor

public CountingMonitor()

Method Detail

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

backtrackToFinished

public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)

Specified by:

backtrackToFinished in interface TableauMonitor

Overrides:

backtrackToFinished in class TableauMonitorAdapter

blockingValidationStarted

public void blockingValidationStarted()

Specified by:

blockingValidationStarted in interface TableauMonitor

Overrides:

blockingValidationStarted in class TableauMonitorAdapter

blockingValidationFinished

public void blockingValidationFinished(int noInvalidlyBlocked)

Specified by:

blockingValidationFinished in interface TableauMonitor

Overrides:

blockingValidationFinished in class TableauMonitorAdapter

getUsedMessagePatterns

public java.util.Set<java.lang.String> getUsedMessagePatterns()

getTimeSortedTestRecords

public java.util.List<CountingMonitor.TestRecord> getTimeSortedTestRecords(int limit)

getTimeSortedTestRecords

public java.util.List<CountingMonitor.TestRecord> getTimeSortedTestRecords(int limit,
                                                                           ReasoningTaskDescription.StandardTestType standardTestType)

getTimeSortedTestRecords

public java.util.List<CountingMonitor.TestRecord> getTimeSortedTestRecords(int limit,
                                                                           java.lang.String messagePattern)

getTime

public long getTime()

getNumberOfBacktrackings

public int getNumberOfBacktrackings()

getNumberOfNodes

public int getNumberOfNodes()

getNumberOfBlockedNodes

public int getNumberOfBlockedNodes()

getTestDescription

public java.lang.String getTestDescription()

getTestResult

public boolean getTestResult()

getInitialModelSize

public int getInitialModelSize()

getInitiallyBlocked

public int getInitiallyBlocked()

getInitiallyInvalid

public int getInitiallyInvalid()

getNoValidations

public int getNoValidations()

getValidationTime

public long getValidationTime()

getOverallTime

public long getOverallTime()

getOverallNumberOfBacktrackings

public int getOverallNumberOfBacktrackings()

getOverallNumberOfNodes

public int getOverallNumberOfNodes()

getOverallNumberOfBlockedNodes

public int getOverallNumberOfBlockedNodes()

getOverallNumberOfTests

public int getOverallNumberOfTests()

getOverallNumberOfTests

public int getOverallNumberOfTests(ReasoningTaskDescription.StandardTestType testType)

getOverallNumberOfClashes

public int getOverallNumberOfClashes()

getOverallInitialModelSize

public int getOverallInitialModelSize()

getOverallInitiallyBlocked

public int getOverallInitiallyBlocked()

getOverallInitiallyInvalid

public int getOverallInitiallyInvalid()

getOverallNoValidations

public int getOverallNoValidations()

getOverallValidationTime

public long getOverallValidationTime()

millisToHoursMinutesSecondsString

public static java.lang.String millisToHoursMinutesSecondsString(long millis)