org.semanticweb.HermiT.monitor
Class MemoryConsumptionMonitor

java.lang.Object
  extended by org.semanticweb.HermiT.monitor.TableauMonitorAdapter
      extended by org.semanticweb.HermiT.monitor.CountingMonitor
          extended by org.semanticweb.HermiT.monitor.MemoryConsumptionMonitor
All Implemented Interfaces:
java.io.Serializable, TableauMonitor

public class MemoryConsumptionMonitor
extends CountingMonitor

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class org.semanticweb.HermiT.monitor.CountingMonitor
CountingMonitor.TestRecord
 
Field Summary
protected  int m_binaryTableMem
           
protected  int m_dependencySetsMem
           
protected  int m_maxMem
           
protected  int m_sumBinaryTableMem
           
protected  int m_sumDependencySetsMem
           
protected  int m_sumTernaryTableMem
           
protected  int m_ternaryTableMem
           
protected  int m_testNumber
           
 
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
 
Fields inherited from class org.semanticweb.HermiT.monitor.TableauMonitorAdapter
m_tableau
 
Constructor Summary
MemoryConsumptionMonitor()
           
 
Method Summary
 long getAverageTableauExpansionBinaryTableSize()
           
 long getAverageTableauExpansionDependencySetsSize()
           
 long getAverageTableauExpansionMemoryUse()
           
 long getAverageTableauExpansionTernaryTableSize()
           
 long getCurrentTableauExpansionBinaryTableSize()
           
 long getCurrentTableauExpansionDependencySetsSize()
           
 long getCurrentTableauExpansionMemoryUse()
           
 long getCurrentTableauExpansionTernaryTableSize()
           
 long getMaxTableauExpansionMemoryUse()
           
 void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void reset()
           
 
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
 

Field Detail

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
Constructor Detail

MemoryConsumptionMonitor

public MemoryConsumptionMonitor()
Method Detail

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()