org.semanticweb.HermiT.tableau

Class HyperresolutionManager.BodyAtomsSwapper

java.lang.Object

org.semanticweb.HermiT.tableau.HyperresolutionManager.BodyAtomsSwapper

Enclosing class:

HyperresolutionManager

public static final class HyperresolutionManager.BodyAtomsSwapper
extends Object

BodyAtomsSwapper.

Constructor Summary

Constructors

Constructor and Description
BodyAtomsSwapper(DLClause dlClause)

Method Summary

Modifier and Type	Method and Description
DLClause	getSwappedDLClause(int bodyIndex)

Methods inherited from class java.lang.Object

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

Constructor Detail

BodyAtomsSwapper

public BodyAtomsSwapper(DLClause dlClause)

Parameters:

dlClause - dl clause

Method Detail

getSwappedDLClause

public DLClause getSwappedDLClause(int bodyIndex)

Parameters:

bodyIndex - bodyIndex

Returns:

swapped dl clause