Struct PatternProof 

pub struct PatternProof {
    pub facts: Vec<CandidateFact>,
    pub predecessors: Vec<u32>,
    pub inference_nodes: u32,
}

One pattern inference in a replayable proof graph.

Fields

facts: Vec<CandidateFact>

Exact candidate-state premises; printed clues are root facts.

predecessors: Vec<u32>

Zero-based indices of earlier steps establishing these premises.

inference_nodes: u32

Size of this pattern’s explanation, not a forcing-branch shortcut.

Trait Implementations

impl Clone for PatternProof

fn clone(&self) -> PatternProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternProof

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

Formats the value using the given formatter.

impl Eq for PatternProof

impl Hash for PatternProof

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PatternProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PatternProof