org.semanticweb.HermiT.monitor
Class TableauMonitorForwarder
java.lang.Object
org.semanticweb.HermiT.monitor.TableauMonitorForwarder
- All Implemented Interfaces:
- java.io.Serializable, TableauMonitor
- Direct Known Subclasses:
- Debugger
public class TableauMonitorForwarder
- 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)
|
boolean |
isForwardingOn()
|
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 mergrInto)
|
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 |
setForwardingOn(boolean forwardingOn)
|
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_forwardingTargetMonitor
protected final TableauMonitor m_forwardingTargetMonitor
m_forwardingOn
protected boolean m_forwardingOn
TableauMonitorForwarder
public TableauMonitorForwarder(TableauMonitor forwardingTargetMontior)
isForwardingOn
public boolean isForwardingOn()
setForwardingOn
public void setForwardingOn(boolean forwardingOn)
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 mergrInto)
- 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