CBMC
ancestry_resultt Class Reference

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

#include <scope_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 24 of file scope_tree.h.

Constructor & Destructor Documentation

◆ ancestry_resultt() [1/2]

ancestry_resultt::ancestry_resultt ( node_indext  node)
inlineexplicit

Definition at line 27 of file scope_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 33 of file scope_tree.h.

Member Data Documentation

◆ common_ancestor

node_indext ancestry_resultt::common_ancestor

Definition at line 42 of file scope_tree.h.

◆ left_depth_below_common_ancestor

std::size_t ancestry_resultt::left_depth_below_common_ancestor

Definition at line 43 of file scope_tree.h.

◆ right_depth_below_common_ancestor

std::size_t ancestry_resultt::right_depth_below_common_ancestor

Definition at line 44 of file scope_tree.h.


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