CountingMonitor (HermiT 1.4.4.456 API)

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

All Implemented Interfaces:

Serializable, TableauMonitor
```
public class CountingMonitor
extends TableauMonitorAdapter
```
Counting monitor.

See Also:

Serialized Form

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class CountingMonitor.TestRecord

Nested Classes
Modifier and Type	Class and Description
`static class`	`CountingMonitor.TestRecord`

Constructor Summary

Constructors
Constructor and Description

CountingMonitor()

Constructors
Constructor and Description
`CountingMonitor()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`backtrackToFinished(BranchingPoint newCurrentBrancingPoint)`
`void`	`blockingValidationFinished(int noInvalidlyBlocked)`
`void`	`blockingValidationStarted()` Blocking validation started.
`void`	`datatypeCheckingFinished(boolean result)`
`void`	`datatypeCheckingStarted()` Datatype checking started.
`long`	`getAverageDatatypeCheckingTime()`
`double`	`getAverageInitiallyBlocked()`
`double`	`getAverageInitiallyInvalid()`
`double`	`getAverageInitialModelSize()`
`double`	`getAverageNoValidations()`
`long`	`getAverageNumberDatatypesChecked()`
`double`	`getAverageNumberOfBacktrackings()`
`double`	`getAverageNumberOfBlockedNodes()`
`double`	`getAverageNumberOfClashes()`
`double`	`getAverageNumberOfNodes()`
`long`	`getAverageTime()`
`long`	`getAverageValidationTime()`
`long`	`getDatatypeCheckingTime()`
`int`	`getInitiallyBlocked()`
`int`	`getInitiallyInvalid()`
`int`	`getInitialModelSize()`
`int`	`getNoValidations()`
`int`	`getNumberDatatypesChecked()`
`int`	`getNumberOfBacktrackings()`
`int`	`getNumberOfBlockedNodes()`
`int`	`getNumberOfNodes()`
`int`	`getNumberOfPossibleInstancesInstances()`
`int`	`getNumberOfPossibleInstancesTested()`
`long`	`getOverallDatatypeCheckingTime()`
`int`	`getOverallInitiallyBlocked()`
`int`	`getOverallInitiallyInvalid()`
`int`	`getOverallInitialModelSize()`
`int`	`getOverallNoValidations()`
`int`	`getOverallNumberDatatypesChecked()`
`int`	`getOverallNumberOfBacktrackings()`
`int`	`getOverallNumberOfBlockedNodes()`
`int`	`getOverallNumberOfClashes()`
`int`	`getOverallNumberOfNodes()`
`int`	`getOverallNumberOfTests()`
`long`	`getOverallTime()`
`long`	`getOverallValidationTime()`
`double`	`getPossiblesToInstances()`
`String`	`getTestDescription()`
`boolean`	`getTestResult()`
`long`	`getTime()`
`Set<String>`	`getUsedMessagePatterns()`
`long`	`getValidationTime()`
`void`	`isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)`
`void`	`isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)`
`static String`	`millisToHoursMinutesSecondsString(long millis)`
`void`	`possibleInstanceIsInstance()` Possible instance is instance.
`void`	`possibleInstanceIsNotInstance()` Possible instance is not instance.

Methods inherited from class org.semanticweb.HermiT.monitor.TableauMonitorAdapter
addFactFinished, addFactStarted, backtrackToStarted, clashDetected, clashDetectionFinished, clashDetectionStarted, 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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CountingMonitor
```
public CountingMonitor()
```
- Method Detail
  - isSatisfiableStarted
```
public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
```
    Specified by:
    
    isSatisfiableStarted in interface TableauMonitor
    
    Overrides:
    
    isSatisfiableStarted in class TableauMonitorAdapter
    
    Parameters:
    
    reasoningTaskDescription - reasoningTaskDescription
  - isSatisfiableFinished
```
public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
                                  boolean result)
```
    Specified by:
    
    isSatisfiableFinished in interface TableauMonitor
    
    Overrides:
    
    isSatisfiableFinished in class TableauMonitorAdapter
    
    Parameters:
    
    reasoningTaskDescription - reasoningTaskDescription
    
    result - result
  - backtrackToFinished
```
public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
```
    Specified by:
    
    backtrackToFinished in interface TableauMonitor
    
    Overrides:
    
    backtrackToFinished in class TableauMonitorAdapter
    
    Parameters:
    
    newCurrentBrancingPoint - newCurrentBrancingPoint
  - possibleInstanceIsInstance
```
public void possibleInstanceIsInstance()
```
    Description copied from interface: TableauMonitor
    
    Possible instance is instance.
    
    Specified by:
    
    possibleInstanceIsInstance in interface TableauMonitor
    
    Overrides:
    
    possibleInstanceIsInstance in class TableauMonitorAdapter
  - possibleInstanceIsNotInstance
```
public void possibleInstanceIsNotInstance()
```
    Description copied from interface: TableauMonitor
    
    Possible instance is not instance.
    
    Specified by:
    
    possibleInstanceIsNotInstance in interface TableauMonitor
    
    Overrides:
    
    possibleInstanceIsNotInstance in class TableauMonitorAdapter
  - blockingValidationStarted
```
public void blockingValidationStarted()
```
    Description copied from interface: TableauMonitor
    
    Blocking validation started.
    
    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
    
    Parameters:
    
    noInvalidlyBlocked - noInvalidlyBlocked
  - datatypeCheckingStarted
```
public void datatypeCheckingStarted()
```
    Description copied from interface: TableauMonitor
    
    Datatype checking started.
    
    Specified by:
    
    datatypeCheckingStarted in interface TableauMonitor
    
    Overrides:
    
    datatypeCheckingStarted in class TableauMonitorAdapter
  - datatypeCheckingFinished
```
public void datatypeCheckingFinished(boolean result)
```
    Specified by:
    
    datatypeCheckingFinished in interface TableauMonitor
    
    Overrides:
    
    datatypeCheckingFinished in class TableauMonitorAdapter
    
    Parameters:
    
    result - result
  - getUsedMessagePatterns
```
public Set<String> getUsedMessagePatterns()
```
    Returns:
    
    getters for test records
  - getTime
```
public long getTime()
```
    Returns:
    
    getters for current test measurements
  - getNumberOfBacktrackings
```
public int getNumberOfBacktrackings()
```
    Returns:
    
    backtrakcing
  - getNumberOfNodes
```
public int getNumberOfNodes()
```
    Returns:
    
    nodes
  - getNumberOfBlockedNodes
```
public int getNumberOfBlockedNodes()
```
    Returns:
    
    blocked nodes
  - getTestDescription
```
public String getTestDescription()
```
    Returns:
    
    test description
  - getTestResult
```
public boolean getTestResult()
```
    Returns:
    
    test result
  - getInitialModelSize
```
public int getInitialModelSize()
```
    Returns:
    
    getters for current test blocking validation measurements
  - getInitiallyBlocked
```
public int getInitiallyBlocked()
```
    Returns:
    
    initially blocked
  - getInitiallyInvalid
```
public int getInitiallyInvalid()
```
    Returns:
    
    initially invalid
  - getNoValidations
```
public int getNoValidations()
```
    Returns:
    
    no validations
  - getValidationTime
```
public long getValidationTime()
```
    Returns:
    
    validation time
  - getNumberDatatypesChecked
```
public int getNumberDatatypesChecked()
```
    Returns:
    
    datatypes checked
  - getDatatypeCheckingTime
```
public long getDatatypeCheckingTime()
```
    Returns:
    
    checking time
  - getOverallTime
```
public long getOverallTime()
```
    Returns:
    
    overall time
  - getOverallNumberOfBacktrackings
```
public int getOverallNumberOfBacktrackings()
```
    Returns:
    
    number of backtracking
  - getOverallNumberOfNodes
```
public int getOverallNumberOfNodes()
```
    Returns:
    
    number of nodes
  - getOverallNumberOfBlockedNodes
```
public int getOverallNumberOfBlockedNodes()
```
    Returns:
    
    number of blocked nodes
  - getOverallNumberOfTests
```
public int getOverallNumberOfTests()
```
    Returns:
    
    number of tests
  - getOverallNumberOfClashes
```
public int getOverallNumberOfClashes()
```
    Returns:
    
    number of clashes
  - getNumberOfPossibleInstancesTested
```
public int getNumberOfPossibleInstancesTested()
```
    Returns:
    
    pssible instances
  - getNumberOfPossibleInstancesInstances
```
public int getNumberOfPossibleInstancesInstances()
```
    Returns:
    
    number of possible instances
  - getOverallInitialModelSize
```
public int getOverallInitialModelSize()
```
    Returns:
    
    initial model size
  - getOverallInitiallyBlocked
```
public int getOverallInitiallyBlocked()
```
    Returns:
    
    initially blocked
  - getOverallInitiallyInvalid
```
public int getOverallInitiallyInvalid()
```
    Returns:
    
    initially invalid
  - getOverallNoValidations
```
public int getOverallNoValidations()
```
    Returns:
    
    no validation
  - getOverallValidationTime
```
public long getOverallValidationTime()
```
    Returns:
    
    overall validation time
  - getOverallNumberDatatypesChecked
```
public int getOverallNumberDatatypesChecked()
```
    Returns:
    
    number datatypes checked
  - getOverallDatatypeCheckingTime
```
public long getOverallDatatypeCheckingTime()
```
    Returns:
    
    datatype checking time
  - getAverageTime
```
public long getAverageTime()
```
    Returns:
    
    average time
  - getAverageNumberOfBacktrackings
```
public double getAverageNumberOfBacktrackings()
```
    Returns:
    
    number of backtrackings
  - getAverageNumberOfNodes
```
public double getAverageNumberOfNodes()
```
    Returns:
    
    number of nodes
  - getAverageNumberOfBlockedNodes
```
public double getAverageNumberOfBlockedNodes()
```
    Returns:
    
    number of blockend nodes
  - getAverageNumberOfClashes
```
public double getAverageNumberOfClashes()
```
    Returns:
    
    number of clashes
  - getPossiblesToInstances
```
public double getPossiblesToInstances()
```
    Returns:
    
    possible to instance
  - getAverageInitialModelSize
```
public double getAverageInitialModelSize()
```
    Returns:
    
    initial model size
  - getAverageInitiallyBlocked
```
public double getAverageInitiallyBlocked()
```
    Returns:
    
    initially blocked
  - getAverageInitiallyInvalid
```
public double getAverageInitiallyInvalid()
```
    Returns:
    
    initially invalid
  - getAverageNoValidations
```
public double getAverageNoValidations()
```
    Returns:
    
    no validation
  - getAverageValidationTime
```
public long getAverageValidationTime()
```
    Returns:
    
    validaion time
  - getAverageNumberDatatypesChecked
```
public long getAverageNumberDatatypesChecked()
```
    Returns:
    
    number datatypes checked
  - getAverageDatatypeCheckingTime
```
public long getAverageDatatypeCheckingTime()
```
    Returns:
    
    avg datatype checking time
  - millisToHoursMinutesSecondsString
```
public static String millisToHoursMinutesSecondsString(long millis)
```
    Parameters:
    
    millis - millis
    
    Returns:
    
    formatted time

Class CountingMonitor

Nested Class Summary

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Constructor Detail

CountingMonitor

Method Detail

isSatisfiableStarted

isSatisfiableFinished

backtrackToFinished

possibleInstanceIsInstance

possibleInstanceIsNotInstance

blockingValidationStarted

blockingValidationFinished

datatypeCheckingStarted

datatypeCheckingFinished

getUsedMessagePatterns

getTime

getNumberOfBacktrackings

getNumberOfNodes

getNumberOfBlockedNodes

getTestDescription

getTestResult

getInitialModelSize

getInitiallyBlocked

getInitiallyInvalid

getNoValidations

getValidationTime

getNumberDatatypesChecked

getDatatypeCheckingTime

getOverallTime

getOverallNumberOfBacktrackings

getOverallNumberOfNodes

getOverallNumberOfBlockedNodes

getOverallNumberOfTests

getOverallNumberOfClashes

getNumberOfPossibleInstancesTested

getNumberOfPossibleInstancesInstances

getOverallInitialModelSize

getOverallInitiallyBlocked

getOverallInitiallyInvalid

getOverallNoValidations

getOverallValidationTime

getOverallNumberDatatypesChecked

getOverallDatatypeCheckingTime

getAverageTime

getAverageNumberOfBacktrackings

getAverageNumberOfNodes

getAverageNumberOfBlockedNodes

getAverageNumberOfClashes

getPossiblesToInstances

getAverageInitialModelSize

getAverageInitiallyBlocked

getAverageInitiallyInvalid

getAverageNoValidations

getAverageValidationTime

getAverageNumberDatatypesChecked

getAverageDatatypeCheckingTime

millisToHoursMinutesSecondsString