scratch_program.h File Reference

#include <memory>
#include <util/make_unique.h>
#include <util/symbol_table.h>
#include <goto-programs/goto_program.h>
#include <goto-programs/goto_functions.h>
#include <goto-symex/goto_symex.h>
#include <goto-symex/path_storage.h>
#include <goto-symex/symex_target_equation.h>
#include <solvers/smt2/smt2_dec.h>
#include <solvers/flattening/bv_pointers.h>
#include <solvers/sat/satcheck.h>
#include "path.h"

Include dependency graph for scratch_program.h:

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

Go to the source code of this file.

Classes
struct	scratch_program_symext
class	scratch_programt

Detailed Description

Loop Acceleration

Definition in file scratch_program.h.