Struct SatLit 

pub struct SatLit(/* private fields */);

A literal: a variable plus a sign, packed as var << 1 | negative.

Implementations

impl SatLit

pub fn new(var: Var, positive: bool) -> Self

A literal for var, positive (true) or negative (NOT var).

pub fn positive(var: Var) -> Self

The positive literal var.

pub fn negative(var: Var) -> Self

The negative literal NOT var.

pub fn var(self) -> Var

The underlying variable.

pub fn is_negative(self) -> bool

Whether this is the negative polarity.

pub fn negate(self) -> SatLit

The same variable with the opposite sign.

Trait Implementations

impl Clone for SatLit

fn clone(&self) -> SatLit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SatLit

impl Debug for SatLit

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

Formats the value using the given formatter.

impl Eq for SatLit

impl PartialEq for SatLit

fn eq(&self, other: &SatLit) -> 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 SatLit