cprover
Loading...
Searching...
No Matches
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_settoperator[] (const object_idt &object_id)
void output (std::ostream &out) const

Protected Types

typedef cfg_baset< empty_cfg_nodetcfgt
typedef std::map< object_idt, object_id_settvalue_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

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: