Struct ProofNode 

pub struct ProofNode {
    pub goal: Term,
    pub rule_cid: Option<Cid>,
    pub peer: Option<String>,
    pub children: Vec<ProofNode>,
    pub resolved: bool,
    pub depth: usize,
}

A single node in the distributed proof tree.

Each node corresponds to one goal in the proof. When a goal is proved locally the peer field is None; when it is resolved by a remote peer the field holds that peer’s string identifier (PeerId encoded as a string).

Fields

goal: Term

The goal that this node proves.

rule_cid: Option<Cid>

CID of the rule that was applied to prove this goal.

None when the goal was satisfied by a base fact (no rule body).

peer: Option<String>

Peer that resolved this goal.

None means the resolution was performed locally.

children: Vec<ProofNode>

Child nodes corresponding to the sub-goals in the applied rule body.

resolved: bool

Whether this node (and all its children) were fully resolved.

depth: usize

Depth of this node in the tree (root is 0).

Implementations

impl ProofNode

pub fn fact(goal: Term, depth: usize, peer: Option<String>) -> Self

Construct a resolved leaf node (fact, no rule body).

Arguments

• goal – The goal term that was proved.
• depth – Depth of this node in the tree.
• peer – None for local, Some(peer_id) for remote.

pub fn unresolved(goal: Term, depth: usize) -> Self

Construct an unresolved node (goal could not be proved).

pub fn from_rule( goal: Term, rule_cid: Option<Cid>, children: Vec<ProofNode>, depth: usize, peer: Option<String>, ) -> Self

Construct a node that was resolved via a rule.

Arguments

• goal – The goal term that was proved.
• rule_cid – Content ID of the applied rule.
• children – Sub-goal nodes for the rule body.
• depth – Depth of this node in the tree.
• peer – None for local, Some(peer_id) for remote.

pub fn size(&self) -> usize

Recursively count the total number of nodes in the subtree.

pub fn max_depth(&self) -> usize

Return the maximum depth of the subtree rooted at this node.

pub fn contributing_peers(&self) -> Vec<String>

Collect all peers that contributed to this subtree.

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<'de> Deserialize<'de> for ProofNode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ProofNode

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

Formats the value using the given formatter.

impl Serialize for ProofNode

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.