Struct RuleResolver 

pub struct RuleResolver<'a> { /* private fields */ }

A goal resolver that uses a user-defined RuleSet for resolving goals.

Implementations

impl<'a> RuleResolver<'a>

pub const fn new(rules: &'a RuleSet) -> Self

Trait Implementations

impl<'a> Clone for RuleResolver<'a>

fn clone(&self) -> RuleResolver<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for RuleResolver<'a>

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

Formats the value using the given formatter.

impl<'a> Resolver for RuleResolver<'a>

type Choice = &'a [CompiledRule]

fn resolve( &mut self, goal_id: TermId, AppTerm: AppTerm, context: &mut ResolveContext<'_>, ) -> Option<Resolved<Self::Choice>>

fn resume( &mut self, choice: &mut Self::Choice, goal_id: TermId, context: &mut ResolveContext<'_>, ) -> bool