Struct ExportNode 

pub struct ExportNode {
    pub node_id: u64,
    pub rule_id: String,
    pub goal: String,
    pub depth: usize,
    pub children: Vec<u64>,
}

A single node in the exported proof tree.

Fields

node_id: u64

Unique identifier for this node.

rule_id: String

Identifier of the rule applied at this node.

goal: String

The goal (predicate / formula) proved at this node.

depth: usize

Depth of this node from the root (root = 0).

children: Vec<u64>

Ordered list of child node IDs.

Trait Implementations

impl Clone for ExportNode

fn clone(&self) -> ExportNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExportNode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExportNode

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExportNode

impl PartialEq for ExportNode

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExportNode