Struct rlifesrc_lib::search::LifeSrc

pub struct LifeSrc;

The default algorithm based on David Bell’s lifesrc.

Trait Implementations

impl<R: Rule> Algorithm<R> for LifeSrc

type Reason = Reason

Reasons for setting a cell.

type ConflReason = ()

Reasons for a conflict. Ignored in LifeSrc algorithm.

fn new() -> Self

Generate new algorithm data.

fn confl_from_cell(_cell: CellRef<R>) -> Self::ConflReason

Conflict when constitifying a cell.

fn confl_from_sym(_cell: CellRef<R>, _sym: CellRef<R>) -> Self::ConflReason

Conflict from symmetry.

fn init_front(world: World<R, Self>) -> World<R, Self>

Conflict when constitifying a cell.

fn set_cell( world: &mut World<R, Self>, cell: CellRef<R>, state: State, reason: Self::Reason ) -> Result<(), Self::ConflReason>

Sets the state of a cell, push it to the set_stack, and update the neighborhood descriptor of its neighbors.

fn go(world: &mut World<R, Self>, step: &mut u64) -> bool

Keeps proceeding and backtracking, until there are no more cells to examine (and returns true), or the backtracking goes back to the time before the first cell is set (and returns false).

fn retreat(world: &mut World<R, Self>) -> bool

Retreats to the last time when a unknown cell is decided by choice, and switch that cell to the other state.

fn deser_reason( _world: &World<R, Self>, ser: &ReasonSer ) -> Result<Self::Reason, Error>

Available on crate feature serde only.

Restore the reason from a ReasonSer.

impl Clone for LifeSrc

fn clone(&self) -> LifeSrc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LifeSrc

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

Formats the value using the given formatter.

impl Default for LifeSrc

fn default() -> LifeSrc

Returns the “default value” for a type.

impl PartialEq for LifeSrc

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

impl Eq for LifeSrc

impl Sealed for LifeSrc

impl StructuralEq for LifeSrc

impl StructuralPartialEq for LifeSrc