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)
           
 

Method Detail

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)