Enum varisat::prop::graph::Reason

pub enum Reason {
    Unit,
    Binary([Lit; 1]),
    Long(ClauseRef),
}

Assignments that caused a propagation.

Variants

UnitBinary([Lit; 1])Long(ClauseRef)

Methods

impl Reason

pub fn lits<'out, 'a, 'b>(
    &'a self,
    ctx: &'b Const<ClauseAllocP, Ref<'b, Context>>
) -> &'out [Lit] where
    'a: 'out,
    'b: 'out, 

The literals that caused the propagation.

pub fn is_unit(&self) -> bool

True if a unit clause or assumption and not a propagation.

Trait Implementations

impl Eq for Reason

fn assert_receiver_is_total_eq(&self)

impl PartialEq<Reason> for Reason

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

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

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

This method tests for !=.

impl Copy for Reason

impl Clone for Reason

fn clone(&self) -> Reason

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Reason

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

Formats the value using the given formatter.