org.semanticweb.HermiT.tableau
Class GroundDisjunction
java.lang.Object
org.semanticweb.HermiT.tableau.GroundDisjunction
- All Implemented Interfaces:
- java.io.Serializable
public final class GroundDisjunction
- extends java.lang.Object
- implements java.io.Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_groundDisjunctionHeader
protected final GroundDisjunctionHeader m_groundDisjunctionHeader
m_arguments
protected final Node[] m_arguments
m_isCore
protected final boolean[] m_isCore
m_dependencySet
protected PermanentDependencySet m_dependencySet
m_previousGroundDisjunction
protected GroundDisjunction m_previousGroundDisjunction
m_nextGroundDisjunction
protected GroundDisjunction m_nextGroundDisjunction
GroundDisjunction
public GroundDisjunction(Tableau tableau,
GroundDisjunctionHeader groundDisjunctionHeader,
Node[] arguments,
boolean[] isCore,
DependencySet dependencySet)
getPreviousGroundDisjunction
public GroundDisjunction getPreviousGroundDisjunction()
getNextGroundDisjunction
public GroundDisjunction getNextGroundDisjunction()
destroy
public void destroy(Tableau tableau)
getNumberOfDisjuncts
public int getNumberOfDisjuncts()
getDLPredicate
public DLPredicate getDLPredicate(int disjunctIndex)
getArgument
public Node getArgument(int disjunctIndex,
int argumentIndex)
isCore
public boolean isCore(int disjunctIndex)
getDependencySet
public DependencySet getDependencySet()
getGroundDisjunctionHeader
public GroundDisjunctionHeader getGroundDisjunctionHeader()
isPruned
public boolean isPruned()
isSatisfied
public boolean isSatisfied(Tableau tableau)
addDisjunctToTableau
public boolean addDisjunctToTableau(Tableau tableau,
int disjunctIndex,
DependencySet dependencySet)
toString
public java.lang.String toString(Prefixes prefixes)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object