Searched defs:newAlternativeIndex (Results 1 – 1 of 1) sorted by relevance
1495 int newAlternativeIndex = bodyDisjunction->terms.size(); in alterantiveBodyDisjunction() local1504 int newAlternativeIndex = bodyDisjunction->terms.size(); in alterantiveDisjunction() local