1 2 3 4 5 6 7 8
//! Temporary data. use varisat_formula::Lit; #[derive(Default)] pub struct TmpData { /// Temporary storage for literals. pub tmp: Vec<Lit>, }