Struct Justification 

pub struct Justification {
    pub rule_name: String,
    pub premises: Vec<FactHandle>,
    pub premise_keys: Vec<String>,
    pub generation: u64,
}

A justification for a proven fact (one way it was derived)

Fields

rule_name: String

Rule that produced this fact

premises: Vec<FactHandle>

Premise fact handles that were used

premise_keys: Vec<String>

Premise keys (for human-readable tracing)

generation: u64

When this justification was created (generation/timestamp)

Trait Implementations

impl Clone for Justification

fn clone(&self) -> Justification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Justification

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

Formats the value using the given formatter.