Searched refs:bestLit (Results 1 – 1 of 1) sorted by relevance
464 int bestLit = -1; in findSplitter() local469 if (bestLit == -1) bestLit = i; in findSplitter()473 bestLit = i; in findSplitter()477 if (bestLit != -1) { in findSplitter()478 splitter = topClause[bestLit].getExpr(); in findSplitter()