[−][src]Struct canrun::ResolvedState
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>
[src]
pub fn reify<T, R>(&self, value: T) -> Option<R> where
D: Domain<'a>,
T: ReifyIn<'a, D, Reified = R>,
[src]
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::domains::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>
[src]
fn clone(&self) -> ResolvedState<D>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Auto Trait Implementations
impl<D> RefUnwindSafe for ResolvedState<D> where
D: RefUnwindSafe,
D: RefUnwindSafe,
impl<D> Send for ResolvedState<D> where
D: Send,
D: Send,
impl<D> Sync for ResolvedState<D> where
D: Sync,
D: Sync,
impl<D> Unpin for ResolvedState<D> where
D: Unpin,
D: Unpin,
impl<D> UnwindSafe for ResolvedState<D> where
D: UnwindSafe,
D: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,