org.semanticweb.HermiT.tableau
Class GroundDisjunctionHeader
java.lang.Object
org.semanticweb.HermiT.tableau.GroundDisjunctionHeader
public final class GroundDisjunctionHeader
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
GroundDisjunctionHeader
protected GroundDisjunctionHeader(DLPredicate[] dlPredicates,
int hashCode,
GroundDisjunctionHeader nextEntry)
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