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
- Direct Known Subclasses:
- MemoryConsumptionMonitor
public class CountingMonitor
- extends TableauMonitorAdapter
- See Also:
- Serialized Form
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 |
m_problemStartTime
protected long m_problemStartTime
m_validationStartTime
protected long m_validationStartTime
m_testNo
protected int m_testNo
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
CountingMonitor
public CountingMonitor()
reset
public void reset()
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()
getAverageTime
public long getAverageTime()
getAverageNumberOfBacktrackings
public double getAverageNumberOfBacktrackings()
getRounded
protected double getRounded(long nominator,
long denominator)
getRounded
protected double getRounded(long nominator,
long denominator,
int noDecimalPlaces)
getAverageNumberOfNodes
public double getAverageNumberOfNodes()
getAverageNumberOfBlockedNodes
public double getAverageNumberOfBlockedNodes()
getAverageNumberOfClashes
public double getAverageNumberOfClashes()
getAverageInitialModelSize
public double getAverageInitialModelSize()
getAverageInitiallyBlocked
public double getAverageInitiallyBlocked()
getAverageInitiallyInvalid
public double getAverageInitiallyInvalid()
getAverageNoValidations
public double getAverageNoValidations()
getAverageValidationTime
public long getAverageValidationTime()
millisToHoursMinutesSecondsString
public static java.lang.String millisToHoursMinutesSecondsString(long millis)