Struct Explanation 

pub struct Explanation {
    pub name: RulePath,
    pub result: OperationResult,
    pub result_type: Arc<LemmaType>,
    pub body: String,
    pub causes: Vec<Cause>,
    pub children: Vec<ExplanationNode>,
    pub rules: Vec<ExplainedRule>,
    /* private fields */
}

Fields

name: RulePath

result: OperationResult

result_type: Arc<LemmaType>

Type of Self::result for measure/ratio rendering (binding unit, decimals).

body: String

causes: Vec<Cause>

children: Vec<ExplanationNode>

rules: Vec<ExplainedRule>

Reachable narrated rules, ids in first-reach order from this root.

Trait Implementations

impl Clone for Explanation

fn clone(&self) -> Self

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.

impl Serialize for Explanation

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.