Struct SolutionAccess

pub struct SolutionAccess<'a> {
    pub data: &'a [SolutionData],
    pub index: usize,
    pub mutable_keys: &'a HashSet<&'a [Word]>,
}

All necessary solution data access required to check an individual predicate.

Fields

data: &'a [SolutionData]

The input data for each predicate being solved within the solution.

We require all predicate solution data in order to handle checking predicate exists.

index: usize

Checking is performed for one predicate at a time. This index refers to the checked predicate’s associated solution data within data.

mutable_keys: &'a HashSet<&'a [Word]>

The keys being proposed for mutation for the predicate.

Implementations

impl<'a> SolutionAccess<'a>

pub fn new( solution: &'a Solution, predicate_index: SolutionDataIndex, mutable_keys: &'a HashSet<&[Word]>, ) -> Self

A shorthand for constructing a SolutionAccess instance for checking the predicate at the given index within the given solution.

This constructor assumes that the given mutable keys contract is correct for this solution. It is not checked by this function for performance.

pub fn this_data(&self) -> &SolutionData

The solution data associated with the predicate currently being checked.

Panics in the case that self.index is out of range of the self.data slice.

Trait Implementations

impl<'a> Clone for SolutionAccess<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for SolutionAccess<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for SolutionAccess<'a>