Struct PuzzleSearch

pub struct PuzzleSearch<'a> { /* private fields */ }

Intermediate puzzle search state.

Implementations

impl<'a> PuzzleSearch<'a>

pub fn is_assigned(&self, var: VarToken) -> bool

Check if the variable has been assigned to a value.

pub fn get_assigned(&self, var: VarToken) -> Option<Val>

Get the value assigned to a variable, or None.

This should be used if the variable may potentially be unassigned. For example, when implementing constraints.

pub fn get_unassigned( &'a self, var: VarToken, ) -> Box<dyn Iterator<Item = Val> + 'a>

Get an iterator over the candidates to an unassigned variable.

pub fn get_min_max(&self, var: VarToken) -> PsResult<(Val, Val)>

Get the minimum and maximum values for variable.

pub fn set_candidate(&mut self, var: VarToken, val: Val) -> PsResult<()>

Set a variable to a value.

pub fn remove_candidate(&mut self, var: VarToken, val: Val) -> PsResult<()>

Remove a single candidate from a variable.

pub fn bound_candidate_range( &mut self, var: VarToken, min: Val, max: Val, ) -> PsResult<(Val, Val)>

Bound an variable to the given range.

pub fn unify(&mut self, from: VarToken, to: VarToken) -> PsResult<()>

Unify the “from” variable with the “to” variable.

Trait Implementations

impl<'a> Clone for PuzzleSearch<'a>

fn clone(&self) -> PuzzleSearch<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for PuzzleSearch<'a>

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

Formats the value using the given formatter.

impl<'a> Index<VarToken> for PuzzleSearch<'a>

fn index(&self, var: VarToken) -> &Val

Get the value assigned to a variable.

Panics

Panics if the variable has not been assigned.

type Output = i32

The returned type after indexing.