org.semanticweb.HermiT.monitor
Class TableauMonitorAdapter
java.lang.Object
org.semanticweb.HermiT.monitor.TableauMonitorAdapter
- All Implemented Interfaces:
- java.io.Serializable, TableauMonitor
- Direct Known Subclasses:
- CountingMonitor, DerivationHistory, Timer
public class TableauMonitorAdapter
- extends java.lang.Object
- implements TableauMonitor, java.io.Serializable
- See Also:
- Serialized Form
Method Summary |
void |
addFactFinished(java.lang.Object[] tuple,
boolean isCore,
boolean factAdded)
|
void |
addFactStarted(java.lang.Object[] tuple,
boolean isCore)
|
void |
backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
|
void |
blockingValidationFinished(int noInvalidlyBlocked)
|
void |
blockingValidationStarted()
|
void |
clashDetected()
|
void |
clashDetectionFinished(java.lang.Object[]... tuples)
|
void |
clashDetectionStarted(java.lang.Object[]... tuples)
|
void |
datatypeCheckingFinished(boolean result)
|
void |
datatypeCheckingStarted()
|
void |
datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction,
boolean result)
|
void |
datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
|
void |
descriptionGraphCheckingFinished(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
|
void |
descriptionGraphCheckingStarted(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
|
void |
disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
|
void |
dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
|
void |
existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
void |
groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
|
void |
isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
boolean result)
|
void |
isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
|
void |
iterationFinished()
|
void |
iterationStarted()
|
void |
mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
mergeFinished(Node mergeFrom,
Node mergeInto)
|
void |
mergeStarted(Node mergeFrom,
Node mergeInto)
|
void |
nodeCreated(Node node)
|
void |
nodeDestroyed(Node node)
|
void |
nodePruned(Node node)
|
void |
nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
|
void |
processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
|
void |
pushBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
pushBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
saturateFinished(boolean modelFound)
|
void |
saturateStarted()
|
void |
setTableau(Tableau tableau)
|
void |
startNextBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
startNextBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
tableauCleared()
|
void |
tupleRemoved(java.lang.Object[] tuple)
|
void |
unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_tableau
protected Tableau m_tableau
TableauMonitorAdapter
public TableauMonitorAdapter()
setTableau
public void setTableau(Tableau tableau)
- Specified by:
setTableau
in interface TableauMonitor
isSatisfiableStarted
public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
- Specified by:
isSatisfiableStarted
in interface TableauMonitor
isSatisfiableFinished
public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
boolean result)
- Specified by:
isSatisfiableFinished
in interface TableauMonitor
tableauCleared
public void tableauCleared()
- Specified by:
tableauCleared
in interface TableauMonitor
saturateStarted
public void saturateStarted()
- Specified by:
saturateStarted
in interface TableauMonitor
saturateFinished
public void saturateFinished(boolean modelFound)
- Specified by:
saturateFinished
in interface TableauMonitor
iterationStarted
public void iterationStarted()
- Specified by:
iterationStarted
in interface TableauMonitor
iterationFinished
public void iterationFinished()
- Specified by:
iterationFinished
in interface TableauMonitor
dlClauseMatchedStarted
public void dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
- Specified by:
dlClauseMatchedStarted
in interface TableauMonitor
dlClauseMatchedFinished
public void dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
- Specified by:
dlClauseMatchedFinished
in interface TableauMonitor
addFactStarted
public void addFactStarted(java.lang.Object[] tuple,
boolean isCore)
- Specified by:
addFactStarted
in interface TableauMonitor
addFactFinished
public void addFactFinished(java.lang.Object[] tuple,
boolean isCore,
boolean factAdded)
- Specified by:
addFactFinished
in interface TableauMonitor
mergeStarted
public void mergeStarted(Node mergeFrom,
Node mergeInto)
- Specified by:
mergeStarted
in interface TableauMonitor
nodePruned
public void nodePruned(Node node)
- Specified by:
nodePruned
in interface TableauMonitor
mergeFactStarted
public void mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
- Specified by:
mergeFactStarted
in interface TableauMonitor
mergeFactFinished
public void mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
- Specified by:
mergeFactFinished
in interface TableauMonitor
mergeFinished
public void mergeFinished(Node mergeFrom,
Node mergeInto)
- Specified by:
mergeFinished
in interface TableauMonitor
clashDetectionStarted
public void clashDetectionStarted(java.lang.Object[]... tuples)
- Specified by:
clashDetectionStarted
in interface TableauMonitor
clashDetectionFinished
public void clashDetectionFinished(java.lang.Object[]... tuples)
- Specified by:
clashDetectionFinished
in interface TableauMonitor
clashDetected
public void clashDetected()
- Specified by:
clashDetected
in interface TableauMonitor
backtrackToStarted
public void backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
- Specified by:
backtrackToStarted
in interface TableauMonitor
tupleRemoved
public void tupleRemoved(java.lang.Object[] tuple)
- Specified by:
tupleRemoved
in interface TableauMonitor
backtrackToFinished
public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
- Specified by:
backtrackToFinished
in interface TableauMonitor
groundDisjunctionDerived
public void groundDisjunctionDerived(GroundDisjunction groundDisjunction)
- Specified by:
groundDisjunctionDerived
in interface TableauMonitor
processGroundDisjunctionStarted
public void processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
- Specified by:
processGroundDisjunctionStarted
in interface TableauMonitor
groundDisjunctionSatisfied
public void groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
- Specified by:
groundDisjunctionSatisfied
in interface TableauMonitor
processGroundDisjunctionFinished
public void processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
- Specified by:
processGroundDisjunctionFinished
in interface TableauMonitor
disjunctProcessingStarted
public void disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
- Specified by:
disjunctProcessingStarted
in interface TableauMonitor
disjunctProcessingFinished
public void disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
- Specified by:
disjunctProcessingFinished
in interface TableauMonitor
pushBranchingPointStarted
public void pushBranchingPointStarted(BranchingPoint branchingPoint)
- Specified by:
pushBranchingPointStarted
in interface TableauMonitor
pushBranchingPointFinished
public void pushBranchingPointFinished(BranchingPoint branchingPoint)
- Specified by:
pushBranchingPointFinished
in interface TableauMonitor
startNextBranchingPointStarted
public void startNextBranchingPointStarted(BranchingPoint branchingPoint)
- Specified by:
startNextBranchingPointStarted
in interface TableauMonitor
startNextBranchingPointFinished
public void startNextBranchingPointFinished(BranchingPoint branchingPoint)
- Specified by:
startNextBranchingPointFinished
in interface TableauMonitor
existentialExpansionStarted
public void existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialExpansionStarted
in interface TableauMonitor
existentialExpansionFinished
public void existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialExpansionFinished
in interface TableauMonitor
existentialSatisfied
public void existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialSatisfied
in interface TableauMonitor
nominalIntorductionStarted
public void nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
- Specified by:
nominalIntorductionStarted
in interface TableauMonitor
nominalIntorductionFinished
public void nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
- Specified by:
nominalIntorductionFinished
in interface TableauMonitor
descriptionGraphCheckingStarted
public void descriptionGraphCheckingStarted(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
- Specified by:
descriptionGraphCheckingStarted
in interface TableauMonitor
descriptionGraphCheckingFinished
public void descriptionGraphCheckingFinished(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
- Specified by:
descriptionGraphCheckingFinished
in interface TableauMonitor
nodeCreated
public void nodeCreated(Node node)
- Specified by:
nodeCreated
in interface TableauMonitor
nodeDestroyed
public void nodeDestroyed(Node node)
- Specified by:
nodeDestroyed
in interface TableauMonitor
unknownDatatypeRestrictionDetectionStarted
public void unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
- Specified by:
unknownDatatypeRestrictionDetectionStarted
in interface TableauMonitor
unknownDatatypeRestrictionDetectionFinished
public void unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
- Specified by:
unknownDatatypeRestrictionDetectionFinished
in interface TableauMonitor
datatypeCheckingStarted
public void datatypeCheckingStarted()
- Specified by:
datatypeCheckingStarted
in interface TableauMonitor
datatypeCheckingFinished
public void datatypeCheckingFinished(boolean result)
- Specified by:
datatypeCheckingFinished
in interface TableauMonitor
datatypeConjunctionCheckingStarted
public void datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
- Specified by:
datatypeConjunctionCheckingStarted
in interface TableauMonitor
datatypeConjunctionCheckingFinished
public void datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction,
boolean result)
- Specified by:
datatypeConjunctionCheckingFinished
in interface TableauMonitor
blockingValidationStarted
public void blockingValidationStarted()
- Specified by:
blockingValidationStarted
in interface TableauMonitor
blockingValidationFinished
public void blockingValidationFinished(int noInvalidlyBlocked)
- Specified by:
blockingValidationFinished
in interface TableauMonitor