This is the complete list of members for scope_treet, including all inherited members.

add(const codet &destructor, std::optional< goto_programt::targett > declaration)	scope_treet
current_node	scope_treet	private
descend_tree()	scope_treet
get_current_node() const	scope_treet
get_declaration(node_indext index)	scope_treet
get_destructor(node_indext index)	scope_treet
get_destructors(std::optional< node_indext > end_index={}, std::optional< node_indext > starting_index={})	scope_treet
get_nearest_common_ancestor_info(node_indext left_index, node_indext right_index)	scope_treet
output_dot(std::ostream &os) const	scope_treet	inline
scope_graph	scope_treet	private
scope_treet()	scope_treet	inline
set_current_node(std::optional< node_indext > val)	scope_treet
set_current_node(node_indext val)	scope_treet