Enum rlifesrc_lib::search::backjump::Reason

pub enum Reason<R: Rule> {
    Known,
    Decide,
    Rule(CellRef<R>),
    Sym(CellRef<R>),
    Deduce,
    Clause(Vec<CellRef<R>>),
}

Reasons for setting a cell, with informations for backjumping.

Variants

Known

Known before the search starts,

Decide

Decides the state of a cell by choice.

Rule(CellRef<R>)

Deduced from the rule when constitifying another cell.

Sym(CellRef<R>)

Deduced from symmetry.

Deduce

Deduced from other cells or conflicts.

A general reason used as a fallback.

Clause(Vec<CellRef<R>>)

Deduced from a learnt clause.

Implementations

impl<R: Rule> Reason<R>

fn cells(self) -> Vec<CellRef<R>>

Cells involved in the reason.

Trait Implementations

impl<R: Rule> Clone for Reason<R>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<R: Rule> Debug for Reason<R>

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

Formats the value using the given formatter.

impl<R: Rule> PartialEq for Reason<R>

fn eq(&self, other: &Self) -> 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<R: Rule> Reason<R> for Reason<R>

const KNOWN: Self = Self::Known

Known before the search starts,

const DECIDED: Self = Self::Decide

Decides the state of a cell by choice.

fn from_cell(cell: CellRef<R>) -> Self

Deduced from the rule when constitifying another cell.

fn from_sym(cell: CellRef<R>) -> Self

Deduced from symmetry.

fn is_decided(&self) -> bool

Decided or trying another state for generations rules.

fn ser(&self) -> ReasonSer

Available on crate feature serde only.

Saves the reason as a ReasonSer.

impl<R: Rule> Eq for Reason<R>