scratch_program.cpp File Reference

Loop Acceleration. More...

#include "scratch_program.h"
#include <solvers/decision_procedure.h>
#include <goto-symex/slice.h>
#include <goto-programs/remove_skip.h>

Include dependency graph for scratch_program.cpp:

Go to the source code of this file.

Functions
static void	fix_types (exprt &expr)

Detailed Description

Loop Acceleration.

Definition in file scratch_program.cpp.

Function Documentation

fix_types()

static void fix_types ( exprt &  expr )

static

Definition at line 114 of file scratch_program.cpp.