/// Construct the flat representation of the explanation and return it.
Construct the flat representation of the explanation and return it.
Construct the flat representation of the explanation and return it .
pub fn make_flat_explanation(&mut self) -> &FlatExplanation<L> {
        if self.flat_explanation.is_some() {
            return self.flat_explanation.as_ref().unwrap();
        } else {
            self.flat_explanation = Some(TreeTerm::flatten_proof(&self.explanation_trees));
            self.flat_explanation.as_ref().unwrap()
        }
    }
pub fn make_flat_explanation ( & mut self ) -> & FlatExplanation < L > { if self . flat_explanation . is_some ( ) { return self . flat_explanation . as_ref ( ) . unwrap ( ) ; } else { self . flat_explanation = Some ( TreeTerm :: flatten_proof ( & self . explanation_trees ) ) ; self . flat_explanation . as_ref ( ) . unwrap ( ) } }
Construct the flat representation of the explanation and return it.
Construct the flat representation of the explanation and return it .
&mut self