Control Flow Graph. More...

#include <util/std_expr.h>
#include <util/graph.h>
#include "goto_functions.h"

Include dependency graph for cfg.h:

This graph shows which files directly or indirectly include this file:

Classes
class	empty_cfg_nodet

struct	cfg_base_nodet< T, I >

class	cfg_baset< T, P, I >
	A multi-procedural control flow graph (CFG) whose nodes store references to instructions in a GOTO program. More...

class	cfg_baset< T, P, I >::entry_mapt

class	concurrent_cfg_baset< T, P, I >

class	procedure_local_cfg_baset< T, P, I >

class	procedure_local_concurrent_cfg_baset< T, P, I >

Detailed Description

Control Flow Graph.

Definition in file cfg.h.

Classes