Struct canrun::state::ResolvedState

pub struct ResolvedState<D> { /* fields omitted */ }

Derived from an open State, depending on the constraints that have been applied.

Calling .iter_resolved() is the lowest level way to get an iterator of the possible resolved states, though the Query interface is quite a bit nicer.

Implementations

impl<'a, D: Domain<'a> + 'a> ResolvedState<D>

pub fn reify<T, R>(&self, value: T) -> Option<R> where
    D: Domain<'a>,
    T: ReifyIn<'a, D, Reified = R>, 

Attempt to reify the value of a logic variable in a resolved state.

Example:

use canrun::{State, ResolvedState, IterResolved, val, var};
use canrun::example::I32;

let x = var();

let state = State::new()
    .unify(&val!(x), &val!(1));

let results: Vec<_> = state.iter_resolved()
    .map(|resolved: ResolvedState<I32>| resolved.reify(x))
    .collect();

assert_eq!(results, vec![Some(1)]);

Trait Implementations

impl<D: Clone> Clone for ResolvedState<D>

fn clone(&self) -> ResolvedState<D>

Returns a copy of the value.

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

Performs copy-assignment from source.