goto_functions_algorithm Class Reference

Base interface for goto-functions algorithms. More...

#include <goto_functions_algorithm.h>

Inheritance diagram for goto_functions_algorithm:

Public Member Functions
	goto_functions_algorithm (bool sideffect)
unsigned	get_number_of_functions ()
unsigned	get_number_of_loops ()
bool	run (goto_functionst &) override
	Executes the algorithm over a T object.
void	setTarget (const std::string &_tgt)
Public Member Functions inherited from algorithm< goto_functionst >
	algorithm (bool sideeffect)
virtual	~algorithm ()=default
bool	has_sideeffect ()
	Says wether the algorithm is a plain analysis or if it also changes the structure.

Protected Member Functions
virtual bool	runOnFunction (std::pair< const irep_idt, goto_functiont > &F)
virtual bool	runOnLoop (loopst &loop, goto_programt &goto_program)
virtual bool	runOnProgram (goto_functionst &)

Protected Attributes
std::string	target_function = ""
Protected Attributes inherited from algorithm< goto_functionst >
const bool	sideeffect

Detailed Description

Base interface for goto-functions algorithms.

Constructor & Destructor Documentation

goto_functions_algorithm()

goto_functions_algorithm::goto_functions_algorithm ( bool sideffect )

inlineexplicit

Member Function Documentation

get_number_of_functions()

unsigned goto_functions_algorithm::get_number_of_functions ( )

inline

get_number_of_loops()

unsigned goto_functions_algorithm::get_number_of_loops ( )

inline

run()

bool goto_functions_algorithm::run ( goto_functionst & )

overridevirtual

Executes the algorithm over a T object.

Returns

success of the algorithm

Implements algorithm< goto_functionst >.

runOnFunction()

bool goto_functions_algorithm::runOnFunction ( std::pair< const irep_idt, goto_functiont > & F )

protectedvirtual

Reimplemented in assign_params_as_non_det, goto_check_dead_store, goto_check_excessive_alloc, goto_check_unchecked_return, goto_check_uninit_vars, goto_cse, and mark_decl_as_non_det.

runOnLoop()

bool goto_functions_algorithm::runOnLoop ( loopst & loop, goto_programt & goto_program )

protectedvirtual

Reimplemented in apply_intrinsic_unroller, and unsound_loop_unroller.

runOnProgram()

virtual bool goto_functions_algorithm::runOnProgram ( goto_functionst & )

inlineprotectedvirtual

Reimplemented in goto_cse.

setTarget()

void goto_functions_algorithm::setTarget ( const std::string & _tgt )

inline

Member Data Documentation

target_function

std::string goto_functions_algorithm::target_function = ""

protected

---

The documentation for this class was generated from the following files:

• src/goto-programs/goto_functions_algorithm.h
• src/goto-programs/goto_functions_algorithm.cpp