points_tot Class Reference

#include <points_to.h>

Collaboration diagram for points_tot:

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

Detailed Description

Definition at line 22 of file points_to.h.

Member Typedef Documentation

cfgt

typedef cfg_baset<empty_cfg_nodet> points_tot::cfgt

protected

Definition at line 49 of file points_to.h.

value_mapt

typedef std::map<object_idt, object_id_sett> points_tot::value_mapt

protected

Definition at line 52 of file points_to.h.

Constructor & Destructor Documentation

points_tot()

points_tot::points_tot ( )

inline

Definition at line 25 of file points_to.h.

Member Function Documentation

fixedpoint()

void points_tot::fixedpoint ( )

protected

Definition at line 14 of file points_to.cpp.

operator()()

void points_tot::operator() ( goto_modelt &  goto_model )

inline

Definition at line 29 of file points_to.h.

operator[]()

const object_id_sett& points_tot::operator[] ( const object_idt &  object_id )

inline

Definition at line 38 of file points_to.h.

output()

void points_tot::output

(

std::ostream &

out

)

const

Definition at line 33 of file points_to.cpp.

transform()

bool points_tot::transform ( const cfgt::nodet &  e )

protected

Definition at line 54 of file points_to.cpp.

Member Data Documentation

cfg

cfgt points_tot::cfg

protected

Definition at line 50 of file points_to.h.

empty_set

const object_id_sett points_tot::empty_set

protected

Definition at line 58 of file points_to.h.

value_map

value_mapt points_tot::value_map

protected

Definition at line 53 of file points_to.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/points_to.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/points_to.cpp