Enum VisualizationFormat 

pub enum VisualizationFormat {
    Dot,
    AsciiTree,
    IndentedText,
    Json,
}

Visualization format for proofs.

Variants

Dot

DOT format for Graphviz.

AsciiTree

ASCII tree format.

IndentedText

Indented text format.

Json

JSON format.

Trait Implementations

impl Clone for VisualizationFormat

fn clone(&self) -> VisualizationFormat

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VisualizationFormat

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

Formats the value using the given formatter.

impl PartialEq for VisualizationFormat

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for VisualizationFormat

impl Eq for VisualizationFormat

impl StructuralPartialEq for VisualizationFormat