org.semanticweb.HermiT.tableau

Class MergingManager

java.lang.Object

org.semanticweb.HermiT.tableau.MergingManager

All Implemented Interfaces:

Serializable

public final class MergingManager
extends Object
implements Serializable

Implements the merge rule and is used whenever the merge rule needs to be applied during the expansion of the tableau object used in the constructor of the class.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MergingManager(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
void	clear() Clear manager.
boolean	mergeNodes(Node node0, Node node1, DependencySet dependencySet) Merges the two given nodes and adjusts the dependency set as required.

Methods inherited from class java.lang.Object

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

Constructor Detail

MergingManager

public MergingManager(Tableau tableau)

Parameters:

tableau - tableau for this manager

Method Detail

clear

public void clear()

Clear manager.

mergeNodes

public boolean mergeNodes(Node node0,
                          Node node1,
                          DependencySet dependencySet)

Merges the two given nodes and adjusts the dependency set as required. It is automatically figured out which node has to be merged into which -- that is, the order between node0 and node1 is not important.

Parameters:

node0 - node to merge

node1 - node to merge

dependencySet - dependency set

Returns:

true if merges are made