Struct Lit 

pub struct Lit {
    pub atom: AtomId,
    pub negated: bool,
}

A literal as it appears inside an Impossible clause: an atom, optionally negated. negated = true means the literal is NOT atom.

Fields

atom: AtomId

Interned id of the atom (also its SAT variable number).

negated: bool

true means this literal is NOT atom inside the clause.

Trait Implementations

impl Clone for Lit

fn clone(&self) -> Lit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Lit

impl Debug for Lit

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

Formats the value using the given formatter.

impl Eq for Lit

impl PartialEq for Lit

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for Lit