accelerate.h File Reference

Loop Acceleration. More...

#include <util/namespace.h>
#include <util/expr.h>
#include <util/message.h>
#include <analyses/natural_loops.h>
#include <goto-programs/goto_functions.h>
#include "path.h"
#include "accelerator.h"
#include "trace_automaton.h"
#include "subsumed.h"
#include "scratch_program.h"
#include "acceleration_utils.h"

Include dependency graph for accelerate.h:

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

Go to the source code of this file.

Classes
class	acceleratet

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

Detailed Description

Loop Acceleration.

Definition in file accelerate.h.

Function Documentation

accelerate_functions()

void accelerate_functions	(	goto_modelt &	,
		message_handlert &	message_handler,
		bool	use_z3
	)

Definition at line 649 of file accelerate.cpp.

References acceleratet::accelerate_loops(), Forall_goto_functions, goto_modelt::goto_functions, and message_handler.

Referenced by goto_instrument_parse_optionst::doit().