org.semanticweb.HermiT.monitor
Class CountingMonitor

java.lang.Object
  extended by org.semanticweb.HermiT.monitor.TableauMonitorAdapter
      extended by 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

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  int m_testNo
           
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()
           
 double getAverageInitiallyBlocked()
           
 double getAverageInitiallyInvalid()
           
 double getAverageInitialModelSize()
           
 double getAverageNoValidations()
           
 double getAverageNumberOfBacktrackings()
           
 double getAverageNumberOfBlockedNodes()
           
 double getAverageNumberOfClashes()
           
 double getAverageNumberOfNodes()
           
 long getAverageTime()
           
 long getAverageValidationTime()
           
 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()
           
protected  double getRounded(long nominator, long denominator)
           
protected  double getRounded(long nominator, long denominator, int noDecimalPlaces)
           
 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)
           
 void reset()
           
 
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_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
Constructor Detail

CountingMonitor

public CountingMonitor()
Method Detail

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)