Struct Explanation 

pub struct Explanation {
    pub query: String,
    pub proof_tree: ProofTree,
    pub steps: Vec<ExplanationStep>,
    pub summary: String,
}

Complete explanation with steps

Fields

query: String

Original query

proof_tree: ProofTree

Proof tree

steps: Vec<ExplanationStep>

Step-by-step explanation

summary: String

Summary

Implementations

impl Explanation

pub fn new(query: String, proof_tree: ProofTree) -> Self

Create a new explanation

pub fn print(&self)

Print full explanation

pub fn to_json(&self) -> Result<String, Error>

Export to JSON

pub fn to_markdown(&self) -> String

Export to Markdown

Trait Implementations

impl Clone for Explanation

fn clone(&self) -> Explanation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Explanation

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

Formats the value using the given formatter.