Enum splr::cdb::property::Tusize

pub enum Tusize {
    NumBiClause,
    NumBiClauseCompletion,
    NumBiLearnt,
    NumClause,
    NumLBD2,
    NumLearnt,
    NumReduction,
    NumReRegistration,
    Timestamp,
}

Variants

NumBiClause

NumBiClauseCompletion

NumBiLearnt

NumClause

NumLBD2

NumLearnt

NumReduction

NumReRegistration

Timestamp

Trait Implementations

impl Clone for Tusize

fn clone(&self) -> Tusize

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Tusize

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Tusize

fn eq(&self, other: &Tusize) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PropertyDereference<Tusize, usize> for ClauseDB

fn derefer(&self, k: Tusize) -> usize

impl Copy for Tusize

impl Eq for Tusize

impl StructuralPartialEq for Tusize