Searched refs:unit_propagation_buffer (Results 1 – 1 of 1) sorted by relevance
44 unit_propagation_buffer: SmallVec<P>, field64 unit_propagation_buffer: SmallVec::Empty, in init()102 self.unit_propagation_buffer.clear(); in unit_propagation()103 self.unit_propagation_buffer.push(package); in unit_propagation()104 while let Some(current_package) = self.unit_propagation_buffer.pop() { in unit_propagation()122 self.unit_propagation_buffer.push(package_almost.clone()); in unit_propagation()140 self.unit_propagation_buffer.clear(); in unit_propagation()141 self.unit_propagation_buffer.push(package_almost.clone()); in unit_propagation()