Struct chalk_engine::slg::SlgContextOps

pub(crate) struct SlgContextOps<'me, I: Interner> {
    program: &'me dyn RustIrDatabase<I>,
    max_size: usize,
    expected_answers: Option<usize>,
}

Fields

program: &'me dyn RustIrDatabase<I>

max_size: usize

expected_answers: Option<usize>

Implementations

impl<I: Interner> SlgContextOps<'_, I>

pub(crate) fn new( program: &dyn RustIrDatabase<I>, max_size: usize, expected_answers: Option<usize>, ) -> SlgContextOps<'_, I>

fn identity_constrained_subst( &self, goal: &UCanonical<InEnvironment<Goal<I>>>, ) -> Canonical<ConstrainedSubst<I>>

pub(crate) fn program(&self) -> &dyn RustIrDatabase<I>

pub(crate) fn max_size(&self) -> usize

pub(crate) fn unification_database(&self) -> &dyn UnificationDatabase<I>

Trait Implementations

impl<I: Interner> AggregateOps<I> for SlgContextOps<'_, I>

Draws as many answers as it needs from answers (but no more!) in order to come up with a solution.

fn make_solution( &self, root_goal: &UCanonical<InEnvironment<Goal<I>>>, answers: impl AnswerStream<I>, should_continue: impl Fn() -> bool + Clone, ) -> Option<Solution<I>>

impl<'me, I: Clone + Interner> Clone for SlgContextOps<'me, I>

fn clone(&self) -> SlgContextOps<'me, I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'me, I: Debug + Interner> Debug for SlgContextOps<'me, I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.