CBMC
Public Member Functions | Public Attributes | List of all members
ancestry_resultt Class Reference

Result of an attempt to find ancestor information about two nodes. More...

#include <destructor_tree.h>

Public Member Functions

 ancestry_resultt (node_indext node)
 
 ancestry_resultt (node_indext node, std::size_t left_pre_size, std::size_t right_pre_size)
 

Public Attributes

node_indext common_ancestor
 
std::size_t left_depth_below_common_ancestor
 
std::size_t right_depth_below_common_ancestor
 

Detailed Description

Result of an attempt to find ancestor information about two nodes.

Holds the information about who the common ancestor node is as well as depth of the two nodes relative to the common ancestor

Definition at line 20 of file destructor_tree.h.

Constructor & Destructor Documentation

◆ ancestry_resultt() [1/2]

ancestry_resultt::ancestry_resultt ( node_indext  node)
inlineexplicit

Definition at line 23 of file destructor_tree.h.

◆ ancestry_resultt() [2/2]

ancestry_resultt::ancestry_resultt ( node_indext  node,
std::size_t  left_pre_size,
std::size_t  right_pre_size 
)
inline

Definition at line 29 of file destructor_tree.h.

Member Data Documentation

◆ common_ancestor

node_indext ancestry_resultt::common_ancestor

Definition at line 38 of file destructor_tree.h.

◆ left_depth_below_common_ancestor

std::size_t ancestry_resultt::left_depth_below_common_ancestor

Definition at line 39 of file destructor_tree.h.

◆ right_depth_below_common_ancestor

std::size_t ancestry_resultt::right_depth_below_common_ancestor

Definition at line 40 of file destructor_tree.h.

The documentation for this class was generated from the following file: