org.semanticweb.HermiT.tableau

Class ClashManager

java.lang.Object

org.semanticweb.HermiT.tableau.ClashManager

All Implemented Interfaces:

Serializable

public final class ClashManager
extends Object
implements 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

Constructor Summary

Constructors

Constructor and Description
ClashManager(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
void	clear() Clear.
void	tupleAdded(ExtensionTable extensionTable, Object[] tuple, DependencySet dependencySet)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClashManager

public ClashManager(Tableau tableau)

Parameters:

tableau - tableau

Method Detail

clear

public void clear()

Clear.

tupleAdded

public void tupleAdded(ExtensionTable extensionTable,
                       Object[] tuple,
                       DependencySet dependencySet)

Parameters:

extensionTable - extensionTable

tuple - tuple

dependencySet - dependencySet