Struct ExplanationStep 

pub struct ExplanationStep {
    pub step_number: usize,
    pub goal: String,
    pub rule_name: Option<String>,
    pub condition: String,
    pub bindings: HashMap<String, String>,
    pub result: StepResult,
    pub depth: usize,
}

Step-by-step explanation of reasoning

Fields

step_number: usize

Step number

goal: String

Goal being proven

rule_name: Option<String>

Rule used (if any)

condition: String

Condition evaluated

bindings: HashMap<String, String>

Variable bindings at this step

result: StepResult

Result of this step

depth: usize

Depth in reasoning tree

Implementations

impl ExplanationStep

pub fn new( step_number: usize, goal: String, rule_name: Option<String>, condition: String, bindings: HashMap<String, String>, result: StepResult, depth: usize, ) -> Self

Create a new explanation step

pub fn format(&self) -> String

Format step as string

Trait Implementations

impl Clone for ExplanationStep

fn clone(&self) -> ExplanationStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplanationStep

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

Formats the value using the given formatter.