Struct Access

pub struct Access {
    pub solutions: Arc<Vec<Solution>>,
    pub index: usize,
}

All necessary solution access required to check an individual predicate.

Fields

solutions: Arc<Vec<Solution>>

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

We require all solutions in order to handle checking predicate exists.

index: usize

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

Implementations

impl Access

pub fn new(solutions: Arc<Vec<Solution>>, solution_index: SolutionIndex) -> 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_solution(&self) -> &Solution

The solution associated with the predicate currently being checked.

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

Trait Implementations

impl Clone for Access

fn clone(&self) -> Access

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Access

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

Formats the value using the given formatter.