Searched refs:lits3 (Results 1 – 1 of 1) sorted by relevance
755 let (mut lits2, mut lits3) = (lits.clone(), lits.to_empty()); in repeat_zero_or_more_literals()756 lits3.set_limit_size(lits.limit_size() / 2); in repeat_zero_or_more_literals()757 f(e, &mut lits3); in repeat_zero_or_more_literals()759 if lits3.is_empty() || !lits2.cross_product(&lits3) { in repeat_zero_or_more_literals()821 let mut lits3 = lits.to_empty(); in alternate_literals() localVariable822 lits3.set_limit_size(lits.limit_size() / 5); in alternate_literals()823 f(e, &mut lits3); in alternate_literals()824 if lits3.is_empty() || !lits2.union(lits3) { in alternate_literals()