vendor/varisat-checker/src/tmp.rs


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>,
}