function_assignst Class Reference

#include <function_assigns.h>

Collaboration diagram for function_assignst:

Public Types
typedef std::set< exprt >	assignst

Public Member Functions
	function_assignst (const goto_functionst &_goto_functions)
void	get_assigns (const local_may_aliast &local_may_alias, const goto_programt::const_targett, assignst &)
void	get_assigns_function (const exprt &, assignst &)
void	operator() (const exprt &function, assignst &assigns)

Protected Types
typedef std::map< irep_idt, assignst >	function_mapt

Protected Attributes
const goto_functionst &	goto_functions
function_mapt	function_map

Detailed Description

Definition at line 22 of file function_assigns.h.

Member Typedef Documentation

assignst

typedef std::set<exprt> function_assignst::assignst

Definition at line 30 of file function_assigns.h.

function_mapt

typedef std::map<irep_idt, assignst> function_assignst::function_mapt

protected

Definition at line 47 of file function_assigns.h.

Constructor & Destructor Documentation

function_assignst()

function_assignst::function_assignst ( const goto_functionst &  _goto_functions )

inlineexplicit

Definition at line 25 of file function_assigns.h.

Member Function Documentation

get_assigns()

void function_assignst::get_assigns	(	const local_may_aliast &	local_may_alias,
		const goto_programt::const_targett	i_it,
		assignst &	assigns
	)

Definition at line 20 of file function_assigns.cpp.

get_assigns_function()

void function_assignst::get_assigns_function	(	const exprt &	function,
		assignst &	assigns
	)

Definition at line 43 of file function_assigns.cpp.

operator()()

void function_assignst::operator() ( const exprt &  function, assignst &  assigns  )

inline

Definition at line 39 of file function_assigns.h.

Member Data Documentation

function_map

function_mapt function_assignst::function_map

protected

Definition at line 48 of file function_assigns.h.

goto_functions

const goto_functionst& function_assignst::goto_functions

protected

Definition at line 45 of file function_assigns.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/function_assigns.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/function_assigns.cpp