org.semanticweb.HermiT.monitor
Interface TableauMonitor
- All Known Implementing Classes:
- CountingMonitor, Debugger, DerivationHistory, MemoryConsumptionMonitor, TableauMonitorAdapter, TableauMonitorFork, TableauMonitorForwarder, Timer, TimerWithPause
public interface TableauMonitor
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)
|
setTableau
void setTableau(Tableau tableau)
isSatisfiableStarted
void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
isSatisfiableFinished
void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
boolean result)
tableauCleared
void tableauCleared()
saturateStarted
void saturateStarted()
saturateFinished
void saturateFinished(boolean modelFound)
iterationStarted
void iterationStarted()
iterationFinished
void iterationFinished()
dlClauseMatchedStarted
void dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
dlClauseMatchedFinished
void dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
addFactStarted
void addFactStarted(java.lang.Object[] tuple,
boolean isCore)
addFactFinished
void addFactFinished(java.lang.Object[] tuple,
boolean isCore,
boolean factAdded)
mergeStarted
void mergeStarted(Node mergeFrom,
Node mergeInto)
nodePruned
void nodePruned(Node node)
mergeFactStarted
void mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
mergeFactFinished
void mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
mergeFinished
void mergeFinished(Node mergeFrom,
Node mergeInto)
clashDetectionStarted
void clashDetectionStarted(java.lang.Object[]... tuples)
clashDetectionFinished
void clashDetectionFinished(java.lang.Object[]... tuples)
clashDetected
void clashDetected()
backtrackToStarted
void backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
tupleRemoved
void tupleRemoved(java.lang.Object[] tuple)
backtrackToFinished
void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
groundDisjunctionDerived
void groundDisjunctionDerived(GroundDisjunction groundDisjunction)
processGroundDisjunctionStarted
void processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
groundDisjunctionSatisfied
void groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
processGroundDisjunctionFinished
void processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
disjunctProcessingStarted
void disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
disjunctProcessingFinished
void disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
pushBranchingPointStarted
void pushBranchingPointStarted(BranchingPoint branchingPoint)
pushBranchingPointFinished
void pushBranchingPointFinished(BranchingPoint branchingPoint)
startNextBranchingPointStarted
void startNextBranchingPointStarted(BranchingPoint branchingPoint)
startNextBranchingPointFinished
void startNextBranchingPointFinished(BranchingPoint branchingPoint)
existentialExpansionStarted
void existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
existentialExpansionFinished
void existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
existentialSatisfied
void existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
nominalIntorductionStarted
void nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
nominalIntorductionFinished
void nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
descriptionGraphCheckingStarted
void descriptionGraphCheckingStarted(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
descriptionGraphCheckingFinished
void descriptionGraphCheckingFinished(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
nodeCreated
void nodeCreated(Node node)
nodeDestroyed
void nodeDestroyed(Node node)
unknownDatatypeRestrictionDetectionStarted
void unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
unknownDatatypeRestrictionDetectionFinished
void unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
datatypeCheckingStarted
void datatypeCheckingStarted()
datatypeCheckingFinished
void datatypeCheckingFinished(boolean result)
datatypeConjunctionCheckingStarted
void datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
datatypeConjunctionCheckingFinished
void datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction,
boolean result)
blockingValidationStarted
void blockingValidationStarted()
blockingValidationFinished
void blockingValidationFinished(int noInvalidlyBlocked)