Struct ExplanationBuilder 

pub struct ExplanationBuilder { /* private fields */ }

Explanation builder that tracks the proof process

Implementations

impl ExplanationBuilder

pub fn new() -> Self

Create a new explanation builder

pub fn enable(&mut self)

Enable explanation tracking

pub fn disable(&mut self)

Disable explanation tracking

pub fn is_enabled(&self) -> bool

Check if tracking is enabled

pub fn start_goal(&mut self, goal: &Goal)

Start tracking a goal

pub fn goal_proven_by_fact(&mut self, goal: &Goal, bindings: &Bindings)

Mark goal as proven by a fact

pub fn goal_proven_by_rule( &mut self, goal: &Goal, rule_name: &str, bindings: &Bindings, )

Mark goal as proven by a rule

pub fn goal_negation(&mut self, goal: &Goal, proven: bool)

Mark goal as negation

pub fn goal_failed(&mut self)

Mark goal as failed

pub fn finish_goal(&mut self)

Finish tracking a goal and add to parent

pub fn build(self, query: String) -> Option<ProofTree>

Build the final proof tree

pub fn stats(&self) -> ProofStats

Get current statistics

pub fn reset(&mut self)

Reset the builder

Trait Implementations

impl Clone for ExplanationBuilder

fn clone(&self) -> ExplanationBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplanationBuilder

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

Formats the value using the given formatter.

impl Default for ExplanationBuilder

fn default() -> Self

Returns the “default value” for a type.