Enum splr::state::property::Tusize [−][src]
pub enum Tusize { NumDecisionConflict, NumProcessor, Vivification, VivifiedClause, VivifiedVar, }
Variants
the number of ‘no decision conflict’
the number of vivification
the number of vivified (shrunk) clauses
the number of vivified (asserted) vars
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Tusize
impl UnwindSafe for Tusize
Blanket Implementations
Mutably borrows from an owned value. Read more