Searched refs:newAlternativeIndex (Results 1 – 1 of 1) sorted by relevance
1495 int newAlternativeIndex = m_bodyDisjunction->terms.size(); in alternativeBodyDisjunction() local1496 …m_bodyDisjunction->terms[m_currentAlternativeIndex].alternative.next = newAlternativeIndex - m_cur… in alternativeBodyDisjunction()1499 m_currentAlternativeIndex = newAlternativeIndex; in alternativeBodyDisjunction()1504 int newAlternativeIndex = m_bodyDisjunction->terms.size(); in alternativeDisjunction() local1505 …m_bodyDisjunction->terms[m_currentAlternativeIndex].alternative.next = newAlternativeIndex - m_cur… in alternativeDisjunction()1508 m_currentAlternativeIndex = newAlternativeIndex; in alternativeDisjunction()