accelerate.cpp File Reference

Loop Acceleration. More...

#include "accelerate.h"
#include <analyses/natural_loops.h>
#include <goto-programs/goto_functions.h>
#include <util/std_expr.h>
#include <util/arith_tools.h>
#include <util/find_symbols.h>
#include <ansi-c/expr2c.h>
#include <iostream>
#include <list>
#include "path.h"
#include "polynomial_accelerator.h"
#include "enumerating_loop_acceleration.h"
#include "disjunctive_polynomial_acceleration.h"
#include "overflow_instrumenter.h"
#include "util.h"

Include dependency graph for accelerate.cpp:

Go to the source code of this file.

Functions
void	accelerate_functions (goto_functionst &functions, symbol_tablet &symbol_table, bool use_z3)

Detailed Description

Loop Acceleration.

Definition in file accelerate.cpp.

Function Documentation

accelerate_functions()

void accelerate_functions	(	goto_functionst &	functions,
		symbol_tablet &	symbol_table,
		bool	use_z3
	)

Definition at line 652 of file accelerate.cpp.

References acceleratet::accelerate_loops(), and Forall_goto_functions.

Referenced by goto_instrument_parse_optionst::doit().