cprover
|
#include <cone_of_influence.h>
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 |
Definition at line 27 of file cone_of_influence.h.
|
protected |
Definition at line 48 of file cone_of_influence.h.
|
inline |
Definition at line 30 of file cone_of_influence.h.
Definition at line 18 of file cone_of_influence.cpp.
Definition at line 67 of file cone_of_influence.cpp.
|
protected |
Definition at line 121 of file cone_of_influence.cpp.
Definition at line 152 of file cone_of_influence.cpp.
|
protected |
Definition at line 76 of file cone_of_influence.cpp.
|
protected |
Definition at line 49 of file cone_of_influence.h.
|
protected |
Definition at line 52 of file cone_of_influence.h.
|
protected |
Definition at line 51 of file cone_of_influence.h.