cprover
natural_loops.cpp File Reference

Dominators. More...

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

Go to the source code of this file.

Functions

void show_natural_loops (const goto_modelt &goto_model, std::ostream &out)
 

Detailed Description

Dominators.

Definition in file natural_loops.cpp.

Function Documentation

◆ show_natural_loops()

void show_natural_loops ( const goto_modelt goto_model,
std::ostream &  out 
)