Searched refs:lits2 (Results 1 – 1 of 1) sorted by relevance
639 let mut lits2 = lits.to_empty(); in prefixes() localVariable640 prefixes(e, &mut lits2); in prefixes()641 if !lits.cross_product(&lits2) || !lits2.any_complete() { in prefixes()715 let mut lits2 = lits.to_empty(); in suffixes() localVariable716 suffixes(e, &mut lits2); in suffixes()717 if !lits.cross_product(&lits2) || !lits2.any_complete() { in suffixes()738 let (mut lits2, mut lits3) = (lits.clone(), lits.to_empty()); in repeat_zero_or_one_literals()742 if lits3.is_empty() || !lits2.cross_product(&lits3) { in repeat_zero_or_one_literals()746 lits2.add(Literal::empty()); in repeat_zero_or_one_literals()747 if !lits.union(lits2) { in repeat_zero_or_one_literals()[all …]