cprover
|
#include <points_to.h>
Public Member Functions | |
points_tot () | |
void | operator() (goto_modelt &goto_model) |
const object_id_sett & | operator[] (const object_idt &object_id) |
void | output (std::ostream &out) const |
Protected Types | |
typedef cfg_baset< empty_cfg_nodet > | cfgt |
typedef std::map< object_idt, object_id_sett > | value_mapt |
Protected Member Functions | |
void | fixedpoint () |
bool | transform (const cfgt::nodet &) |
Protected Attributes | |
cfgt | cfg |
value_mapt | value_map |
const object_id_sett | empty_set |
Definition at line 22 of file points_to.h.
|
protected |
Definition at line 49 of file points_to.h.
|
protected |
Definition at line 52 of file points_to.h.
|
inline |
Definition at line 25 of file points_to.h.
|
protected |
Definition at line 14 of file points_to.cpp.
References cfg, cfg_baset< T, P, I >::entry_map, and transform().
Referenced by operator()().
|
inline |
Definition at line 29 of file points_to.h.
References cfg, fixedpoint(), and goto_modelt::goto_functions.
|
inline |
Definition at line 38 of file points_to.h.
void points_tot::output | ( | std::ostream & | out | ) | const |
Definition at line 36 of file points_to.cpp.
References value_map.
Referenced by goto_instrument_parse_optionst::doit(), and operator<<().
|
protected |
Definition at line 57 of file points_to.cpp.
References ASSIGN, FUNCTION_CALL, RETURN, and goto_programt::instructiont::type.
Referenced by fixedpoint().
|
protected |
Definition at line 50 of file points_to.h.
Referenced by fixedpoint(), and operator()().
|
protected |
Definition at line 58 of file points_to.h.
Referenced by operator[]().
|
protected |
Definition at line 53 of file points_to.h.
Referenced by operator[](), and output().