Searched refs:size_after (Results 1 – 1 of 1) sorted by relevance
360 let mut size_after; in cross_product() localVariable362 size_after = self.num_bytes(); in cross_product()364 size_after += lits_lit.len(); in cross_product()367 size_after = self.lits.iter().fold(0, |accum, lit| { in cross_product()373 size_after += self_lit.len() + lits_lit.len(); in cross_product()378 if size_after > self.limit_size { in cross_product()