org.semanticweb.HermiT.tableau
Class GroundDisjunctionHeader

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

public final class GroundDisjunctionHeader
extends java.lang.Object


Nested Class Summary
protected static class GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
           
 
Field Summary
protected  GroundDisjunctionHeader.DisjunctIndexWithBacktrackings[] m_disjunctIndexesWithBacktrackings
           
protected  int[] m_disjunctStart
           
protected  DLPredicate[] m_dlPredicates
           
protected  int m_firstAtLeastNegativeIndex
           
protected  int m_firstAtLeastPositiveIndex
           
protected  int m_hashCode
           
protected  GroundDisjunctionHeader m_nextEntry
           
 
Constructor Summary
protected GroundDisjunctionHeader(DLPredicate[] dlPredicates, int hashCode, GroundDisjunctionHeader nextEntry)
           
 
Method Summary
 int[] getSortedDisjunctIndexes()
           
 void increaseNumberOfBacktrackings(int disjunctIndex)
           
protected  boolean isEqual(DLPredicate[] dlPredicates)
           
 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_dlPredicates

protected final DLPredicate[] m_dlPredicates

m_disjunctStart

protected final int[] m_disjunctStart

m_hashCode

protected final int m_hashCode

m_disjunctIndexesWithBacktrackings

protected final GroundDisjunctionHeader.DisjunctIndexWithBacktrackings[] m_disjunctIndexesWithBacktrackings

m_firstAtLeastPositiveIndex

protected final int m_firstAtLeastPositiveIndex

m_firstAtLeastNegativeIndex

protected final int m_firstAtLeastNegativeIndex

m_nextEntry

protected GroundDisjunctionHeader m_nextEntry
Constructor Detail

GroundDisjunctionHeader

protected GroundDisjunctionHeader(DLPredicate[] dlPredicates,
                                  int hashCode,
                                  GroundDisjunctionHeader nextEntry)
Method Detail

isEqual

protected boolean isEqual(DLPredicate[] dlPredicates)

getSortedDisjunctIndexes

public int[] getSortedDisjunctIndexes()

increaseNumberOfBacktrackings

public void increaseNumberOfBacktrackings(int disjunctIndex)

toString

public java.lang.String toString(Prefixes prefixes)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object