Struct Access

pub struct Access<'a> {
    pub solution: SolutionAccess<'a>,
    pub state_slots: StateSlots<'a>,
}

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

Fields

solution: SolutionAccess<'a>

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

state_slots: StateSlots<'a>

The pre and post mutation state slot values for the predicate being solved.

Trait Implementations

impl<'a> Clone for Access<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Access<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for Access<'a>