Struct chalk_engine::forest::Forest

pub struct Forest<C: Context, CO: ContextOps<C>> { /* fields omitted */ }

Methods

impl<C: Context, CO: ContextOps<C>> Forest<C, CO>

pub fn new(context: CO) -> Self

pub fn force_answers(     &mut self,     goal: C::UCanonicalGoalInEnvironment,     num_answers: usize ) -> Vec<Answer<C>>

Finds the first N answers, looping as much as needed to get them.

Thanks to subgoal abstraction and so forth, this should always terminate.

pub fn solve(     &mut self,     goal: &C::UCanonicalGoalInEnvironment ) -> Option<C::Solution>

Solves a given goal, producing the solution. This will do only as much work towards goal as it has to (and that works is cached for future attempts).

pub fn num_cached_answers_for_goal(     &mut self,     goal: &C::UCanonicalGoalInEnvironment ) -> usize

Useful for testing.