org.semanticweb.HermiT.tableau
Class GroundDisjunction

java.lang.Object
  extended by 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

Field Summary
protected  Node[] m_arguments
           
protected  PermanentDependencySet m_dependencySet
           
protected  GroundDisjunctionHeader m_groundDisjunctionHeader
           
protected  boolean[] m_isCore
           
protected  GroundDisjunction m_nextGroundDisjunction
           
protected  GroundDisjunction m_previousGroundDisjunction
           
 
Constructor Summary
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)
           
 
Method Summary
 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)
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

GroundDisjunction

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

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