Trait rlifesrc_lib::search::reason::Reason

pub trait Reason<R: Rule> {
    const KNOWN: Self;
    const DECIDED: Self;

    // Required methods
    fn from_cell(cell: CellRef<R>) -> Self;
    fn from_sym(cell: CellRef<R>) -> Self;
    fn is_decided(&self) -> bool;
    fn ser(&self) -> ReasonSer;
}

Reasons for setting a cell.

Required Associated Constants

const KNOWN: Self

Known before the search starts,

const DECIDED: Self

Decides the state of a cell by choice.

Required Methods

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.

Object Safety

This trait is not object safe.

Implementors

impl<R: Rule> Reason<R> for rlifesrc_lib::search::backjump::Reason<R>

const KNOWN: Self = Self::Known

const DECIDED: Self = Self::Decide

impl<R: Rule> Reason<R> for rlifesrc_lib::search::lifesrc::Reason

const KNOWN: Self = Self::Known

const DECIDED: Self = Self::Decide