Struct ProofNode 

pub struct ProofNode {
    pub id: ProofNodeId,
    pub step: ProofStep,
    pub dependents: SmallVec<[ProofNodeId; 2]>,
    pub depth: u32,
}

A single node in the proof tree

Fields

id: ProofNodeId

Unique identifier

step: ProofStep

The proof step

dependents: SmallVec<[ProofNodeId; 2]>

IDs of nodes that depend on this one (optimized for 0-2 dependents)

depth: u32

Depth in the proof tree (for compression)

Implementations

impl ProofNode

pub fn conclusion(&self) -> &str

Get the conclusion of this proof node.

Trait Implementations

impl Clone for ProofNode

fn clone(&self) -> ProofNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofNode

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

Formats the value using the given formatter.

impl Display for ProofNode

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

Formats the value using the given formatter.