org.semanticweb.HermiT.monitor
Class TableauMonitorFork

java.lang.Object
  extended by org.semanticweb.HermiT.monitor.TableauMonitorFork
All Implemented Interfaces:
java.io.Serializable, TableauMonitor

public class TableauMonitorFork
extends java.lang.Object
implements TableauMonitor, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  TableauMonitor m_first
           
protected  TableauMonitor m_second
           
 
Constructor Summary
TableauMonitorFork(TableauMonitor first, TableauMonitor second)
           
 
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
 

Field Detail

m_first

protected final TableauMonitor m_first

m_second

protected final TableauMonitor m_second
Constructor Detail

TableauMonitorFork

public TableauMonitorFork(TableauMonitor first,
                          TableauMonitor second)
Method Detail

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