Struct chalk_engine::forest::ForestSolver

struct ForestSolver<'me, I: Interner> {
    forest: &'me mut Forest<I>,
    context: &'me SlgContextOps<'me, I>,
    table: TableIndex,
    answer: AnswerIndex,
}

Fields

forest: &'me mut Forest<I>

context: &'me SlgContextOps<'me, I>

table: TableIndex

answer: AnswerIndex

Trait Implementations

impl<'me, I: Interner> AnswerStream<I> for ForestSolver<'me, I>

fn peek_answer(&mut self, should_continue: impl Fn() -> bool) -> AnswerResult<I>

Panics

Panics if a negative cycle was detected.

fn next_answer(&mut self, should_continue: impl Fn() -> bool) -> AnswerResult<I>

Gets the next answer for a given goal, incrementing the answer index. Calling this or peek_answer again will give the next answer.

fn any_future_answer(&self, test: impl Fn(&Substitution<I>) -> bool) -> bool

Invokes test with each possible future answer, returning true immediately if we find any answer for which test returns true.