org.semanticweb.HermiT.monitor
Class MemoryConsumptionMonitor
java.lang.Object
org.semanticweb.HermiT.monitor.TableauMonitorAdapter
org.semanticweb.HermiT.monitor.CountingMonitor
org.semanticweb.HermiT.monitor.MemoryConsumptionMonitor
- All Implemented Interfaces:
- java.io.Serializable, TableauMonitor
public class MemoryConsumptionMonitor
- extends CountingMonitor
- See Also:
- Serialized Form
Fields inherited from class org.semanticweb.HermiT.monitor.CountingMonitor |
m_initiallyBlocked, m_initiallyInvalid, m_initialModelSize, m_noValidations, m_numberOfBacktrackings, m_numberOfBlockedNodes, m_numberOfNodes, m_overallInitiallyBlocked, m_overallInitiallyInvalid, m_overallInitialModelSize, m_overallNoValidations, m_overallNumberOfBacktrackings, m_overallNumberOfBlockedNodes, m_overallNumberOfClashes, m_overallNumberOfNodes, m_overallNumberOfTests, m_overallTime, m_overallValidationTime, m_problemStartTime, m_reasoningTaskDescription, m_testNo, m_testRecords, m_testResult, m_time, m_validationStartTime, m_validationTime |
Methods inherited from class org.semanticweb.HermiT.monitor.CountingMonitor |
backtrackToFinished, blockingValidationFinished, blockingValidationStarted, getAverageInitiallyBlocked, getAverageInitiallyInvalid, getAverageInitialModelSize, getAverageNoValidations, getAverageNumberOfBacktrackings, getAverageNumberOfBlockedNodes, getAverageNumberOfClashes, getAverageNumberOfNodes, getAverageTime, getAverageValidationTime, getInitiallyBlocked, getInitiallyInvalid, getInitialModelSize, getNoValidations, getNumberOfBacktrackings, getNumberOfBlockedNodes, getNumberOfNodes, getOverallInitiallyBlocked, getOverallInitiallyInvalid, getOverallInitialModelSize, getOverallNoValidations, getOverallNumberOfBacktrackings, getOverallNumberOfBlockedNodes, getOverallNumberOfClashes, getOverallNumberOfNodes, getOverallNumberOfTests, getOverallNumberOfTests, getOverallTime, getOverallValidationTime, getRounded, getRounded, getTestDescription, getTestResult, getTime, getTimeSortedTestRecords, getTimeSortedTestRecords, getTimeSortedTestRecords, getUsedMessagePatterns, getValidationTime, millisToHoursMinutesSecondsString |
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_binaryTableMem
protected int m_binaryTableMem
m_ternaryTableMem
protected int m_ternaryTableMem
m_dependencySetsMem
protected int m_dependencySetsMem
m_sumBinaryTableMem
protected int m_sumBinaryTableMem
m_sumTernaryTableMem
protected int m_sumTernaryTableMem
m_sumDependencySetsMem
protected int m_sumDependencySetsMem
m_maxMem
protected int m_maxMem
m_testNumber
protected int m_testNumber
MemoryConsumptionMonitor
public MemoryConsumptionMonitor()
isSatisfiableStarted
public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
- Specified by:
isSatisfiableStarted
in interface TableauMonitor
- Overrides:
isSatisfiableStarted
in class CountingMonitor
isSatisfiableFinished
public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
boolean result)
- Specified by:
isSatisfiableFinished
in interface TableauMonitor
- Overrides:
isSatisfiableFinished
in class CountingMonitor
reset
public void reset()
- Overrides:
reset
in class CountingMonitor
getCurrentTableauExpansionMemoryUse
public long getCurrentTableauExpansionMemoryUse()
getCurrentTableauExpansionBinaryTableSize
public long getCurrentTableauExpansionBinaryTableSize()
getCurrentTableauExpansionTernaryTableSize
public long getCurrentTableauExpansionTernaryTableSize()
getCurrentTableauExpansionDependencySetsSize
public long getCurrentTableauExpansionDependencySetsSize()
getAverageTableauExpansionMemoryUse
public long getAverageTableauExpansionMemoryUse()
getAverageTableauExpansionBinaryTableSize
public long getAverageTableauExpansionBinaryTableSize()
getAverageTableauExpansionTernaryTableSize
public long getAverageTableauExpansionTernaryTableSize()
getAverageTableauExpansionDependencySetsSize
public long getAverageTableauExpansionDependencySetsSize()
getMaxTableauExpansionMemoryUse
public long getMaxTableauExpansionMemoryUse()