lazy_goto_model.h File Reference
Author: Diffblue Ltd. More...
#include <langapi/language_file.h>#include <goto-programs/abstract_goto_model.h>#include <goto-programs/goto_convert_functions.h>#include <goto-programs/goto_model.h>#include "lazy_goto_functions_map.h"
Include dependency graph for lazy_goto_model.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | lazy_goto_modelt |
| A GOTO model that produces function bodies on demand. More... | |
