org.semanticweb.HermiT.tableau
Class ClashManager

java.lang.Object
  extended by 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

Field Summary
protected  java.lang.Object[] m_binaryAuxiliaryTuple
           
protected  UnionDependencySet m_binaryUnionDependencySet
           
protected  ExtensionManager m_extensionManager
           
protected  TableauMonitor m_tableauMonitor
           
protected  java.lang.Object[] m_ternaryAuxiliaryTuple
           
protected  ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
           
protected static LiteralDataRange NOT_RDFS_LITERAL
           
 
Constructor Summary
ClashManager(Tableau tableau)
           
 
Method Summary
 void clear()
           
 void tupleAdded(ExtensionTable extensionTable, java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

ClashManager

public ClashManager(Tableau tableau)
Method Detail

clear

public void clear()

tupleAdded

public void tupleAdded(ExtensionTable extensionTable,
                       java.lang.Object[] tuple,
                       DependencySet dependencySet,
                       boolean isCore)