Enum ProofDiff 

pub enum ProofDiff {
    OnlyInFirst(ProofNodeId, String),
    OnlyInSecond(ProofNodeId, String),
    Different {
        id1: ProofNodeId,
        id2: ProofNodeId,
        conclusion1: String,
        conclusion2: String,
    },
    StructuralDifference(String),
}

Represents a difference between two proofs.

Variants

OnlyInFirst(ProofNodeId, String)

Node exists only in the first proof

OnlyInSecond(ProofNodeId, String)

Node exists only in the second proof

Different

Node exists in both but with different steps

Fields

id1: ProofNodeId

id2: ProofNodeId

conclusion1: String

conclusion2: String

StructuralDifference(String)

Structural difference in proof shape

Trait Implementations

impl Clone for ProofDiff

fn clone(&self) -> ProofDiff

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofDiff

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

Formats the value using the given formatter.

impl Display for ProofDiff

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

Formats the value using the given formatter.

impl PartialEq for ProofDiff

fn eq(&self, other: &ProofDiff) -> 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 Eq for ProofDiff

impl StructuralPartialEq for ProofDiff