cprover
natural_loops.cpp File Reference

Dominators. More...

#include "natural_loops.h"
#include <iostream>
Include dependency graph for natural_loops.cpp:

Go to the source code of this file.

Functions

void show_natural_loops (const goto_functionst &goto_functions)
 

Detailed Description

Dominators.

Definition in file natural_loops.cpp.

Function Documentation

◆ show_natural_loops()

void show_natural_loops ( const goto_functionst goto_functions)