cprover
cone_of_influencet Class Reference

#include <cone_of_influence.h>

Collaboration diagram for cone_of_influencet:
[legend]

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_settcone_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_programtprogram
 
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.

References cone_of_influence(), gather_rvalues(), and get_succs().

Member Function Documentation

§ cone_of_influence() [1/3]

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

§ cone_of_influence() [2/3]

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

Definition at line 67 of file cone_of_influence.cpp.

References cone_of_influence().

§ 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

§ gather_rvalues()

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

Definition at line 152 of file cone_of_influence.cpp.

References forall_operands, and irept::id().

Referenced by cone_of_influence(), and cone_of_influencet().

§ get_succs()

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

Member Data Documentation

§ cone_map

cone_mapt cone_of_influencet::cone_map
protected

Definition at line 49 of file cone_of_influence.h.

Referenced by cone_of_influence(), and get_succs().

§ ns

const namespacet cone_of_influencet::ns
protected

Definition at line 52 of file cone_of_influence.h.

Referenced by cone_of_influence().

§ program

const goto_programt& cone_of_influencet::program
protected

Definition at line 51 of file cone_of_influence.h.

Referenced by cone_of_influence(), and get_succs().


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