#include "goto_state.h"
#include "symex_target.h"
#include <analyses/lexical_loops.h>

Include dependency graph for frame.h:

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

Classes
struct	framet
	Stack frames – these are used for function calls and for exceptions. More...

struct	framet::loop_infot

class	framet::active_loop_infot

Detailed Description

Class for stack frames

Definition in file frame.h.

Classes