org.semanticweb.HermiT.debugger
Class DerivationHistory
java.lang.Object
org.semanticweb.HermiT.monitor.TableauMonitorAdapter
org.semanticweb.HermiT.debugger.DerivationHistory
- All Implemented Interfaces:
- java.io.Serializable, TableauMonitor
public class DerivationHistory
- extends TableauMonitorAdapter
- See Also:
- Serialized Form
|
Method Summary |
protected DerivationHistory.Atom |
addAtom(java.lang.Object[] tuple)
|
void |
addFactFinished(java.lang.Object[] tuple,
boolean isCore,
boolean factAdded)
|
void |
backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
clashDetected()
|
void |
clashDetectionFinished(java.lang.Object[]... tuples)
|
void |
clashDetectionStarted(java.lang.Object[]... tuples)
|
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)
|
void |
dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
|
void |
existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
DerivationHistory.Atom |
getAtom(java.lang.Object[] tuple)
|
DerivationHistory.Disjunction |
getDisjunction(GroundDisjunction groundDisjunction)
|
void |
groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
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 nodeFrom,
Node nodeInto)
|
void |
mergeStarted(Node nodeFrom,
Node nodeInto)
|
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 org.semanticweb.HermiT.monitor.TableauMonitorAdapter |
addFactStarted, backtrackToStarted, blockingValidationFinished, blockingValidationStarted, datatypeCheckingFinished, datatypeCheckingStarted, dlClauseMatchedFinished, existentialSatisfied, groundDisjunctionSatisfied, isSatisfiableFinished, isSatisfiableStarted, iterationFinished, iterationStarted, nodeCreated, nodeDestroyed, nodePruned, nominalIntorductionFinished, nominalIntorductionStarted, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, saturateStarted, setTableau, startNextBranchingPointFinished, startNextBranchingPointStarted |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EMPTY_TUPLE
protected static final java.lang.Object[] EMPTY_TUPLE
m_derivedAtoms
protected final java.util.Map<DerivationHistory.AtomKey,DerivationHistory.Atom> m_derivedAtoms
m_derivedDisjunctions
protected final java.util.Map<GroundDisjunction,DerivationHistory.Disjunction> m_derivedDisjunctions
m_derivations
protected final java.util.Stack<DerivationHistory.Derivation> m_derivations
m_mergeAtoms
protected final java.util.Stack<DerivationHistory.Atom> m_mergeAtoms
DerivationHistory
public DerivationHistory()
tableauCleared
public void tableauCleared()
- Specified by:
tableauCleared in interface TableauMonitor- Overrides:
tableauCleared in class TableauMonitorAdapter
dlClauseMatchedStarted
public void dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
int dlClauseIndex)
- Specified by:
dlClauseMatchedStarted in interface TableauMonitor- Overrides:
dlClauseMatchedStarted in class TableauMonitorAdapter
dlClauseMatchedFinished
public void dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator)
addFactFinished
public void addFactFinished(java.lang.Object[] tuple,
boolean isCore,
boolean factAdded)
- Specified by:
addFactFinished in interface TableauMonitor- Overrides:
addFactFinished in class TableauMonitorAdapter
mergeStarted
public void mergeStarted(Node nodeFrom,
Node nodeInto)
- Specified by:
mergeStarted in interface TableauMonitor- Overrides:
mergeStarted in class TableauMonitorAdapter
mergeFactStarted
public void mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
- Specified by:
mergeFactStarted in interface TableauMonitor- Overrides:
mergeFactStarted in class TableauMonitorAdapter
mergeFactFinished
public void mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
- Specified by:
mergeFactFinished in interface TableauMonitor- Overrides:
mergeFactFinished in class TableauMonitorAdapter
mergeFinished
public void mergeFinished(Node nodeFrom,
Node nodeInto)
- Specified by:
mergeFinished in interface TableauMonitor- Overrides:
mergeFinished in class TableauMonitorAdapter
clashDetectionStarted
public void clashDetectionStarted(java.lang.Object[]... tuples)
- Specified by:
clashDetectionStarted in interface TableauMonitor- Overrides:
clashDetectionStarted in class TableauMonitorAdapter
clashDetectionFinished
public void clashDetectionFinished(java.lang.Object[]... tuples)
- Specified by:
clashDetectionFinished in interface TableauMonitor- Overrides:
clashDetectionFinished in class TableauMonitorAdapter
clashDetected
public void clashDetected()
- Specified by:
clashDetected in interface TableauMonitor- Overrides:
clashDetected in class TableauMonitorAdapter
tupleRemoved
public void tupleRemoved(java.lang.Object[] tuple)
- Specified by:
tupleRemoved in interface TableauMonitor- Overrides:
tupleRemoved in class TableauMonitorAdapter
backtrackToFinished
public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
- Specified by:
backtrackToFinished in interface TableauMonitor- Overrides:
backtrackToFinished in class TableauMonitorAdapter
groundDisjunctionDerived
public void groundDisjunctionDerived(GroundDisjunction groundDisjunction)
- Specified by:
groundDisjunctionDerived in interface TableauMonitor- Overrides:
groundDisjunctionDerived in class TableauMonitorAdapter
disjunctProcessingStarted
public void disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
- Specified by:
disjunctProcessingStarted in interface TableauMonitor- Overrides:
disjunctProcessingStarted in class TableauMonitorAdapter
disjunctProcessingFinished
public void disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
- Specified by:
disjunctProcessingFinished in interface TableauMonitor- Overrides:
disjunctProcessingFinished in class TableauMonitorAdapter
existentialExpansionStarted
public void existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialExpansionStarted in interface TableauMonitor- Overrides:
existentialExpansionStarted in class TableauMonitorAdapter
existentialExpansionFinished
public void existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialExpansionFinished in interface TableauMonitor- Overrides:
existentialExpansionFinished in class TableauMonitorAdapter
descriptionGraphCheckingStarted
public void descriptionGraphCheckingStarted(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
- Specified by:
descriptionGraphCheckingStarted in interface TableauMonitor- Overrides:
descriptionGraphCheckingStarted in class TableauMonitorAdapter
descriptionGraphCheckingFinished
public void descriptionGraphCheckingFinished(int graphIndex1,
int tupleIndex1,
int position1,
int graphIndex2,
int tupleIndex2,
int position2)
- Specified by:
descriptionGraphCheckingFinished in interface TableauMonitor- Overrides:
descriptionGraphCheckingFinished in class TableauMonitorAdapter
unknownDatatypeRestrictionDetectionStarted
public void unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
- Specified by:
unknownDatatypeRestrictionDetectionStarted in interface TableauMonitor- Overrides:
unknownDatatypeRestrictionDetectionStarted in class TableauMonitorAdapter
unknownDatatypeRestrictionDetectionFinished
public void unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
- Specified by:
unknownDatatypeRestrictionDetectionFinished in interface TableauMonitor- Overrides:
unknownDatatypeRestrictionDetectionFinished in class TableauMonitorAdapter
datatypeConjunctionCheckingStarted
public void datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
- Specified by:
datatypeConjunctionCheckingStarted in interface TableauMonitor- Overrides:
datatypeConjunctionCheckingStarted in class TableauMonitorAdapter
datatypeConjunctionCheckingFinished
public void datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction,
boolean result)
- Specified by:
datatypeConjunctionCheckingFinished in interface TableauMonitor- Overrides:
datatypeConjunctionCheckingFinished in class TableauMonitorAdapter
getAtom
public DerivationHistory.Atom getAtom(java.lang.Object[] tuple)
getDisjunction
public DerivationHistory.Disjunction getDisjunction(GroundDisjunction groundDisjunction)
addAtom
protected DerivationHistory.Atom addAtom(java.lang.Object[] tuple)