CBMC
|
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 |
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.
|
inlineexplicit |
Definition at line 27 of file scope_tree.h.
|
inline |
Definition at line 33 of file scope_tree.h.
node_indext ancestry_resultt::common_ancestor |
Definition at line 42 of file scope_tree.h.
std::size_t ancestry_resultt::left_depth_below_common_ancestor |
Definition at line 43 of file scope_tree.h.
std::size_t ancestry_resultt::right_depth_below_common_ancestor |
Definition at line 44 of file scope_tree.h.