CBMC
scope_treet::scope_nodet Member List

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

add_in(node_indext n)graph_nodet< empty_edget >inline
add_out(node_indext n)graph_nodet< empty_edget >inline
declarationscope_treet::scope_nodet
destructor_valuescope_treet::scope_nodet
dot_attributes(const node_indext &n) const overridescope_treet::scope_nodetinlinevirtual
edgest typedefgraph_nodet< empty_edget >
edget typedefgraph_nodet< empty_edget >
erase_in(node_indext n)graph_nodet< empty_edget >inline
erase_out(node_indext n)graph_nodet< empty_edget >inline
ingraph_nodet< empty_edget >
node_indext typedefgraph_nodet< empty_edget >
outgraph_nodet< empty_edget >
pretty(const node_indext &idx) constgraph_nodet< empty_edget >inline
scope_nodet()=defaultscope_treet::scope_nodet
scope_nodet(codet destructor, std::optional< declaration_statet > declaration)scope_treet::scope_nodetexplicit
~graph_nodet()graph_nodet< empty_edget >inlinevirtual