CBMC
Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
cone_of_influencet Class Reference

#include <cone_of_influence.h>

+ Collaboration diagram for cone_of_influencet:

Public Member Functions

 cone_of_influencet (const goto_programt &_program, const symbol_tablet &symbol_table)
 
void cone_of_influence (const expr_sett &targets, expr_sett &cone)
 
void cone_of_influence (const exprt &target, expr_sett &cone)
 

Protected Types

typedef std::unordered_map< unsigned int, expr_sett > cone_mapt
 

Protected Member Functions

void cone_of_influence (const goto_programt::instructiont &i, const expr_sett &curr, expr_sett &next)
 
void get_succs (goto_programt::instructionst::const_reverse_iterator rit, expr_sett &targets)
 
void gather_rvalues (const exprt &expr, expr_sett &rvals)
 

Protected Attributes

cone_mapt cone_map
 
const goto_programt & program
 
const namespacet ns
 

Detailed Description

Definition at line 27 of file cone_of_influence.h.

Member Typedef Documentation

◆ cone_mapt

typedef std::unordered_map<unsigned int, expr_sett> cone_of_influencet::cone_mapt
protected

Definition at line 48 of file cone_of_influence.h.

Constructor & Destructor Documentation

◆ cone_of_influencet()

cone_of_influencet::cone_of_influencet ( const goto_programt &  _program,
const symbol_tablet &  symbol_table 
)
inline

Definition at line 30 of file cone_of_influence.h.

Member Function Documentation

◆ cone_of_influence() [1/3]

void cone_of_influencet::cone_of_influence ( const expr_sett &  targets,
expr_sett &  cone 
)

Definition at line 20 of file cone_of_influence.cpp.

◆ cone_of_influence() [2/3]

void cone_of_influencet::cone_of_influence ( const exprt &  target,
expr_sett &  cone 
)

Definition at line 69 of file cone_of_influence.cpp.

◆ cone_of_influence() [3/3]

void cone_of_influencet::cone_of_influence ( const goto_programt::instructiont &  i,
const expr_sett &  curr,
expr_sett &  next 
)
protected

Definition at line 123 of file cone_of_influence.cpp.

◆ gather_rvalues()

void cone_of_influencet::gather_rvalues ( const exprt &  expr,
expr_sett &  rvals 
)
protected

Definition at line 153 of file cone_of_influence.cpp.

◆ get_succs()

void cone_of_influencet::get_succs ( goto_programt::instructionst::const_reverse_iterator  rit,
expr_sett &  targets 
)
protected

Definition at line 78 of file cone_of_influence.cpp.

Member Data Documentation

◆ cone_map

cone_mapt cone_of_influencet::cone_map
protected

Definition at line 49 of file cone_of_influence.h.

◆ ns

const namespacet cone_of_influencet::ns
protected

Definition at line 52 of file cone_of_influence.h.

◆ program

const goto_programt& cone_of_influencet::program
protected

Definition at line 51 of file cone_of_influence.h.

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