org.semanticweb.HermiT.tableau
Class ClashManager
java.lang.Object
org.semanticweb.HermiT.tableau.ClashManager
- All Implemented Interfaces:
- java.io.Serializable
public final class ClashManager
- extends java.lang.Object
- implements java.io.Serializable
An instance of this class is notified by extension tables when tuples are added. This class then
detects whether the addition of a tuple caused a clash or not. Clashes are detected as soon as
offending assertions are added to the extensions (i.e., they do not depend on delta-new).
This is so for performance reasons: we want to detect a clash ASAP so that we can save
ourselves unnecessary work.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NOT_RDFS_LITERAL
protected static final LiteralDataRange NOT_RDFS_LITERAL
m_extensionManager
protected final ExtensionManager m_extensionManager
m_ternaryExtensionTableSearch01Bound
protected final ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
m_tableauMonitor
protected final TableauMonitor m_tableauMonitor
m_binaryAuxiliaryTuple
protected final java.lang.Object[] m_binaryAuxiliaryTuple
m_ternaryAuxiliaryTuple
protected final java.lang.Object[] m_ternaryAuxiliaryTuple
m_binaryUnionDependencySet
protected final UnionDependencySet m_binaryUnionDependencySet
ClashManager
public ClashManager(Tableau tableau)
clear
public void clear()
tupleAdded
public void tupleAdded(ExtensionTable extensionTable,
java.lang.Object[] tuple,
DependencySet dependencySet,
boolean isCore)