Enum TraceEvent 

pub enum TraceEvent {
    RuleFired {
        rule_id: String,
        goal: String,
        depth: usize,
        bindings: Vec<(String, String)>,
    },
    GoalResolved {
        goal: String,
        depth: usize,
        success: bool,
    },
    BacktrackPoint {
        goal: String,
        alternatives: usize,
    },
    CacheHit {
        goal: String,
        depth: usize,
    },
    MaxDepthReached {
        goal: String,
        depth: usize,
    },
}

A single event recorded during inference execution.

Variants

RuleFired

A rule was fired during backward/forward chaining.

Fields

rule_id: String

goal: String

depth: usize

bindings: Vec<(String, String)>

GoalResolved

A goal was resolved (successfully or not).

Fields

goal: String

depth: usize

success: bool

BacktrackPoint

A backtrack point was recorded with the number of alternatives.

Fields

goal: String

alternatives: usize

CacheHit

The inference result was served from cache.

Fields

goal: String

depth: usize

MaxDepthReached

The maximum recursion depth was reached for a goal.

Fields

goal: String

depth: usize

Trait Implementations

impl Clone for TraceEvent

fn clone(&self) -> TraceEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceEvent

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

Formats the value using the given formatter.