Struct typedb_driver::logic::explanation::Explanation

pub struct Explanation {
    pub rule: Rule,
    pub conclusion: ConceptMap,
    pub condition: ConceptMap,
    pub variable_mapping: HashMap<String, Vec<String>>,
}

An explanation of which rule was used for inferring the explained concept, the condition of the rule, the conclusion of the rule, and the mapping of variables between the query and the rule’s conclusion.

Fields

rule: Rule

The Rule for this Explanation.

conclusion: ConceptMap

The Conclusion for this Explanation.

condition: ConceptMap

The Condition for this Explanation.

variable_mapping: HashMap<String, Vec<String>>

The mapping from query variables to rule variables for this Explanation.

Trait Implementations

impl Debug for Explanation

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

Formats the value using the given formatter.

impl PartialEq for Explanation

fn eq(&self, other: &Explanation) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Explanation