Struct proto_vulcan::solver::Solver

pub struct Solver<U, E> where
    U: User,
    E: Engine<U>,  { /* fields omitted */ }

Implementations

impl<U, E> Solver<U, E> where
    U: User,
    E: Engine<U>, 

pub fn new(context: U::UserContext, debug_enabled: bool) -> Solver<U, E>

pub fn start(&self, goal: &Goal<U, E>, state: State<U, E>) -> Stream<U, E>

pub fn start_dfs(
    &self,
    goal: &DFSGoal<U, E>,
    state: State<U, E>
) -> Stream<U, E>

pub fn next(&mut self, stream: &mut Stream<U, E>) -> Option<Box<State<U, E>>>

pub fn peek<'a>(
    &self,
    stream: &'a mut Stream<U, E>
) -> Option<&'a Box<State<U, E>>>

Returns a reference to next element in the stream, if any.

pub fn trunc<'a>(
    &self,
    stream: &'a mut Stream<U, E>
) -> Option<&'a Box<State<U, E>>>

Truncates the stream leaving at most one element, and returns a reference to the remaining element if any.

pub fn context(&self) -> &U::UserContext

pub fn engine(&self) -> &E