Struct fall::Env [−][src]
pub struct Env<F> { /* fields omitted */ }An execution environment.
Methods
impl Env<()>[src]
impl Env<()>pub fn new_self_contained<E: 'static + Send>(
rules: &Rules
) -> Env<fn'a(_: &'a Lit) -> Empty<Subst, E>>[src]
pub fn new_self_contained<E: 'static + Send>(
rules: &Rules
) -> Env<fn'a(_: &'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, [src]
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>[src]
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[src]
pub fn solve(
&self,
lit: Lit,
depth: usize
) -> impl Stream<Item = Subst, Error = E> + SendTries to solve for the given literal.
pub fn solve_all(
&self,
goals: Vec<Lit>,
depth: usize
) -> Box<Stream<Item = Subst, Error = E> + Send>[src]
pub fn solve_all(
&self,
goals: Vec<Lit>,
depth: usize
) -> Box<Stream<Item = Subst, Error = E> + Send>Tries to solve for multiple literals.