Struct ProofTreeExporter 

pub struct ProofTreeExporter {
    pub config: ExportConfig,
}

Exports verified proof trees to multiple formats.

Fields

config: ExportConfig

Export configuration.

Implementations

impl ProofTreeExporter

pub fn new(config: ExportConfig) -> Self

Create a new exporter with the given configuration.

pub fn export(&self, nodes: &[ExportNode]) -> String

Export nodes to the string format described by self.config.

Returns "(empty)" when nodes is empty.

pub fn to_dot(&self, nodes: &[ExportNode]) -> String

Render nodes as Graphviz DOT.

pub fn to_json(&self, nodes: &[ExportNode]) -> String

Render nodes as a compact JSON array.

pub fn to_indented_text(&self, nodes: &[ExportNode]) -> String

Render nodes as an indented ASCII tree (DFS from root).

pub fn to_edge_list(&self, nodes: &[ExportNode]) -> String

Render nodes as a flat edge list (parent_id -> child_id).

pub fn node_count(&self, nodes: &[ExportNode]) -> usize

Number of nodes that pass the max_depth filter.

pub fn edge_count(&self, nodes: &[ExportNode]) -> usize

Total number of child edges among nodes that pass the max_depth filter.