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

Function Call Graphs. More...

#include <iosfwd>
#include <map>
#include <unordered_set>
#include <util/graph.h>
#include <goto-programs/goto_program.h>
+ Include dependency graph for call_graph.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class   call_grapht
  A call graph (https://en.wikipedia.org/wiki/Call_graph) for a GOTO model or GOTO functions collection. More...
 
struct   call_grapht::edge_with_callsitest
  Edge of the directed graph representation of this call graph. More...
 
struct   call_grapht::function_nodet
  Node of the directed graph representation of this call graph. More...
 
class   call_grapht::directed_grapht
  Directed graph representation of this call graph. More...
 

Detailed Description

Function Call Graphs.

Definition in file call_graph.h.

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