org.semanticweb.HermiT.tableau

Class GroundDisjunction

java.lang.Object

org.semanticweb.HermiT.tableau.GroundDisjunction

All Implemented Interfaces:

Serializable

public final class GroundDisjunction
extends Object
implements Serializable

GroundDisjunction

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)

Method Summary

Modifier and Type	Method and Description
boolean	addDisjunctToTableau(Tableau tableau, int disjunctIndex, DependencySet dependencySet)
void	destroy(Tableau tableau)
Node	getArgument(int disjunctIndex, int argumentIndex)
DependencySet	getDependencySet()
DLPredicate	getDLPredicate(int disjunctIndex)
GroundDisjunctionHeader	getGroundDisjunctionHeader()
GroundDisjunction	getNextGroundDisjunction()
int	getNumberOfDisjuncts()
GroundDisjunction	getPreviousGroundDisjunction()
boolean	isCore(int disjunctIndex)
boolean	isPruned()
boolean	isSatisfied(Tableau tableau)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundDisjunction

public GroundDisjunction(Tableau tableau,
                         GroundDisjunctionHeader groundDisjunctionHeader,
                         Node[] arguments,
                         boolean[] isCore,
                         DependencySet dependencySet)

Parameters:

tableau - tableau

groundDisjunctionHeader - groundDisjunctionHeader

arguments - arguments

isCore - isCore

dependencySet - dependencySet

Method Detail

getPreviousGroundDisjunction

public GroundDisjunction getPreviousGroundDisjunction()

Returns:

previous ground disjunction

getNextGroundDisjunction

public GroundDisjunction getNextGroundDisjunction()

Returns:

next ground disjunction

destroy

public void destroy(Tableau tableau)

Parameters:

tableau - tableau

getNumberOfDisjuncts

public int getNumberOfDisjuncts()

Returns:

number of disjuncts

getDLPredicate

public DLPredicate getDLPredicate(int disjunctIndex)

Parameters:

disjunctIndex - disjunctIndex

Returns:

dl predicate

getArgument

public Node getArgument(int disjunctIndex,
                        int argumentIndex)

Parameters:

disjunctIndex - disjunctIndex

argumentIndex - argumentIndex

Returns:

argument

isCore

public boolean isCore(int disjunctIndex)

Parameters:

disjunctIndex - disjunctIndex

Returns:

true if core

getDependencySet

public DependencySet getDependencySet()

Returns:

dependency set

getGroundDisjunctionHeader

public GroundDisjunctionHeader getGroundDisjunctionHeader()

Returns:

ground disjunction header

isPruned

public boolean isPruned()

Returns:

true if pruned

isSatisfied

public boolean isSatisfied(Tableau tableau)

Parameters:

tableau - tableau

Returns:

true if satisfied

addDisjunctToTableau

public boolean addDisjunctToTableau(Tableau tableau,
                                    int disjunctIndex,
                                    DependencySet dependencySet)

Parameters:

tableau - tableau

disjunctIndex - disjunctIndex

dependencySet - dependencySet

Returns:

true if modified

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Object