Struct smtree::tree::TreeNode

pub struct TreeNode<V> { /* fields omitted */ }

A node in the SMT, consisting of the links to its parent, child nodes, value and node type.

Implementations

impl<V: Clone + Default + Mergeable + Paddable> TreeNode<V>

pub fn new(node_type: NodeType) -> TreeNode<V>

The constructor.

pub fn get_lch(&self) -> Option<usize>

Returns the reference to the left child of the tree node.

If the child node doesn’t exist, return None.

pub fn get_rch(&self) -> Option<usize>

Returns the reference to the right child of the tree node.

If the child node doesn’t exist, return None.

pub fn get_child_by_dir(&self, dir: ChildDir) -> Option<usize>

Returns the reference to the child in the input direction of the tree node.

If the child node doesn’t exist, return None.

pub fn get_parent(&self) -> Option<usize>

Returns the reference to the parent of the tree node.

If the parent node doesn’t exist, return None.

pub fn get_node_type(&self) -> &NodeType

Returns the node type.

pub fn get_value(&self) -> &V

Returns the value of the tree node.

pub fn set_parent(&mut self, idx: usize)

Set the reference to the parent node as the input.

pub fn set_lch(&mut self, idx: usize)

Set the reference to the left child as the input.

pub fn set_rch(&mut self, idx: usize)

Set the reference to the right child as the input.

pub fn set_value(&mut self, val: V)

Set the value of the tree node as the input.

pub fn set_node_type(&mut self, x: NodeType)

Set the tree node type as the input.

Trait Implementations

impl<V: Clone> Clone for TreeNode<V>

fn clone(&self) -> TreeNode<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for TreeNode<V>

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

Formats the value using the given formatter.

impl<V: Default> Default for TreeNode<V>

fn default() -> TreeNode<V>

Returns the “default value” for a type.