org.semanticweb.HermiT.tableau

Class HyperresolutionManager

java.lang.Object

org.semanticweb.HermiT.tableau.HyperresolutionManager

All Implemented Interfaces:

Serializable

public final class HyperresolutionManager
extends Object
implements Serializable

Applies the rules during the expansion of a tableau.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	HyperresolutionManager.BodyAtomsSwapper BodyAtomsSwapper.

Constructor Summary

Constructors

Constructor and Description
HyperresolutionManager(Tableau tableau, Set<DLClause> dlClauses)

Method Summary

Modifier and Type	Method and Description
void	applyDLClauses() Apply dl clause.
void	clear() Clear.

Methods inherited from class java.lang.Object

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

Constructor Detail

HyperresolutionManager

public HyperresolutionManager(Tableau tableau,
                              Set<DLClause> dlClauses)

Parameters:

tableau - tableau

dlClauses - dlClauses

Method Detail

clear

public void clear()

Clear.

applyDLClauses

public void applyDLClauses()

Apply dl clause.