// out of their partition.
int numberOfAtLeastPositiveDisjuncts=0;
int numberOfAtLeastNegativeDisjuncts=0;
for (int index=0;index<dlPredicates.length;index++)
if (m_dlPredicates[index] instanceof AtLeastConcept) {
AtLeastConcept atLeast=(AtLeastConcept)m_dlPredicates[index];
if (atLeast.getToConcept() instanceof AtomicNegationConcept)
numberOfAtLeastNegativeDisjuncts++;
else
numberOfAtLeastPositiveDisjuncts++;
}
m_firstAtLeastNegativeIndex=m_disjunctIndexesWithBacktrackings.length-numberOfAtLeastPositiveDisjuncts-numberOfAtLeastNegativeDisjuncts;
m_firstAtLeastPositiveIndex=m_disjunctIndexesWithBacktrackings.length-numberOfAtLeastPositiveDisjuncts;
int nextAtomicDisjunct=0;
int nextAtLeastNegativeDisjunct=m_firstAtLeastNegativeIndex;
int nextAtLeastPositiveDisjunct=m_firstAtLeastPositiveIndex;
for (int index=0;index<dlPredicates.length;index++)
if (m_dlPredicates[index] instanceof AtLeastConcept) {
AtLeastConcept atLeast=(AtLeastConcept)m_dlPredicates[index];
if (atLeast.getToConcept() instanceof AtomicNegationConcept)
m_disjunctIndexesWithBacktrackings[nextAtLeastNegativeDisjunct++]=new DisjunctIndexWithBacktrackings(index);
else
m_disjunctIndexesWithBacktrackings[nextAtLeastPositiveDisjunct++]=new DisjunctIndexWithBacktrackings(index);
} else
m_disjunctIndexesWithBacktrackings[nextAtomicDisjunct++]=new DisjunctIndexWithBacktrackings(index);