Enum rlifesrc_lib::search::lifesrc::Reason

pub enum Reason {
    Known,
    Decide,
    Deduce,
    TryAnother(usize),
}

Reasons for setting a cell.

Variants

Known

Known before the search starts,

Decide

Decides the state of a cell by choice.

Deduce

Determines the state of a cell by other cells.

TryAnother(usize)

Tries another state of a cell when the original state leads to a conflict.

Remembers the number of remaining states to try.

Only used in Generations rules.

Trait Implementations

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.

impl Hash for Reason

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq 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: &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

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 Copy for Reason

impl Eq for Reason

impl StructuralEq for Reason

impl StructuralPartialEq for Reason