CBMC
Loading...
Searching...
No Matches
Classes
cfg.h File Reference

Control Flow Graph. More...

#include <util/dense_integer_map.h>
#include <util/graph.h>
#include <util/std_expr.h>
#include "goto_functions.h"
+ Include dependency graph for cfg.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class   empty_cfg_nodet
 
 
  Functor to convert cfg nodes into dense integers, used by cfg_baset. More...
 
  GOTO-instruction to location number functor. More...
 
  A multi-procedural control flow graph (CFG) whose nodes store references to instructions in a GOTO program. More...
 
 
 
 
 

Detailed Description

Control Flow Graph.

Definition in file cfg.h.

AltStyle によって変換されたページ (->オリジナル) /