Struct ProofVisualizer 

pub struct ProofVisualizer { /* private fields */ }

Proof visualizer.

Implementations

impl ProofVisualizer

pub fn new() -> Self

Create a new proof visualizer with default settings.

pub fn with_max_depth(self, depth: usize) -> Self

Set the maximum depth to visualize.

pub fn with_show_ids(self, show: bool) -> Self

Set whether to show node IDs.

pub fn with_full_conclusions(self, show: bool) -> Self

Set whether to show full conclusions.

pub fn visualize<W: Write>( &self, proof: &Proof, format: VisualizationFormat, writer: &mut W, ) -> Result<()>

Visualize a proof in the specified format.

Trait Implementations

impl Debug for ProofVisualizer

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

Formats the value using the given formatter.

impl Default for ProofVisualizer

fn default() -> Self

Returns the “default value” for a type.