CBMC
|
Go to the source code of this file.
Functions | |
dfcc_loop_nesting_grapht | build_loop_nesting_graph (goto_programt &goto_program) |
Builds a graph instance describing the nesting structure of natural loops in the given goto_program . More... | |
dfcc_loop_nesting_grapht build_loop_nesting_graph | ( | goto_programt & | goto_program | ) |
Builds a graph instance describing the nesting structure of natural loops in the given goto_program
.
Definition at line 27 of file dfcc_loop_nesting_graph.cpp.