accelerate.cpp File Reference

Loop Acceleration. More...

#include "accelerate.h"
#include <analyses/natural_loops.h>
#include <goto-programs/goto_functions.h>
#include <util/arith_tools.h>
#include <util/find_symbols.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <iostream>
#include <list>
#include "accelerator.h"
#include "enumerating_loop_acceleration.h"
#include "overflow_instrumenter.h"
#include "path.h"
#include "scratch_program.h"
#include "util.h"

Include dependency graph for accelerate.cpp:

Go to the source code of this file.

Functions
void	accelerate_functions (goto_modelt &goto_model, message_handlert &message_handler, bool use_z3, guard_managert &guard_manager)

Detailed Description

Loop Acceleration.

Definition in file accelerate.cpp.

Function Documentation

accelerate_functions()

void accelerate_functions	(	goto_modelt &	goto_model,
		message_handlert &	message_handler,
		bool	use_z3,
		guard_managert &	guard_manager
	)

Definition at line 635 of file accelerate.cpp.