CBMC
Public Types | Public Member Functions | Protected Types | Protected Attributes | List of all members
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: