goto_model.h File Reference

#include <util/symbol_table.h>
#include <util/journalling_symbol_table.h>
#include "abstract_goto_model.h"
#include "goto_functions.h"
#include "validate_goto_model.h"

Include dependency graph for goto_model.h:

Go to the source code of this file.

Classes
class	goto_modelt
class	wrapper_goto_modelt
	Class providing the abstract GOTO model interface onto an unrelated symbol table and goto_functionst. More...
class	goto_model_functiont
	Interface providing access to a single function in a GOTO model, plus its associated symbol table. More...

Detailed Description

Symbol Table + CFG

Definition in file goto_model.h.