Struct ReadyState

pub struct ReadyState { /* private fields */ }

Derives from a State that has been confirmed to have no open forks or constraints. A ReadyState can have Values reified.

Implementations

impl ReadyState

pub fn resolve<T: Unify>(&self, val: &Value<T>) -> Value<T>

Recursively resolve a Value as far as the currently known variable bindings allow.

See crate::State::resolve for more details.

pub fn reify<T, R>(&self, value: &T) -> Option<R>

where T: Reify<Reified = R>,

Attempt to reify the value of a logic variable in a ReadyState.

Example:

use canrun::{State, StateIterator, Value, LVar};

let x = LVar::new();

let state = State::new()
    .unify(&x.into(), &Value::new(1));

let results: Vec<_> = state.into_states()
    .filter_map(|s| s.ready())
    .map(|resolved| resolved.reify(&x))
    .collect();

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

Trait Implementations

impl Clone for ReadyState

fn clone(&self) -> ReadyState

Returns a copy of the value.

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

Performs copy-assignment from source.