Searched defs:newAlternativeIndex (Results 1 – 1 of 1) sorted by relevance
1758 int newAlternativeIndex = m_bodyDisjunction->terms.size(); in alternativeBodyDisjunction() local1767 int newAlternativeIndex = m_bodyDisjunction->terms.size(); in alternativeDisjunction() local