Enum splr::cdb::CertifiedRecord

pub enum CertifiedRecord {
    SENTINEL,
    ADD,
    DELETE,
}

Record of clause operations to build DRAT certifications.

Variants

SENTINEL

placed at the end.

ADD

added a (learnt) clause.

DELETE

deleted a clause.

Trait Implementations

impl Debug for CertifiedRecord

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

Formats the value using the given formatter.

impl Eq for CertifiedRecord

impl PartialEq<CertifiedRecord> for CertifiedRecord

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for CertifiedRecord

impl StructuralPartialEq for CertifiedRecord