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)