Struct Env 

pub struct Env<F> { /* private fields */ }

An execution environment.

Implementations

impl Env<()>

pub fn new_self_contained<E: 'static + Send>( rules: &Rules, ) -> Env<for<'a> fn(&'a Lit) -> Empty<Subst, E>>

Creates an env without an external resolver.

impl<E, F, S> Env<F>

where E: 'static + Send, F: 'static + for<'a> Fn(&'a Lit) -> S + Send + Sync, S: 'static + Stream<Item = Subst, Error = E> + Send,

pub fn new(rules: &Rules, external: F) -> Env<F>

Create an Env.

pub fn solve( &self, lit: Lit, depth: usize, ) -> impl Stream<Item = Subst, Error = E> + Send

Tries to solve for the given literal.

pub fn solve_all( &self, goals: Vec<Lit>, depth: usize, ) -> Box<dyn Stream<Item = Subst, Error = E> + Send>

Tries to solve for multiple literals.

Trait Implementations

impl<F> Clone for Env<F>

fn clone(&self) -> Env<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.