points_to.h File Reference

#include <iosfwd>
#include <goto-programs/goto_model.h>
#include <goto-programs/cfg.h>
#include "object_id.h"

Include dependency graph for points_to.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	points_tot

Functions
std::ostream &	operator<< (std::ostream &out, const points_tot &points_to)

Detailed Description

Field-sensitive, location-insensitive points-to analysis

Definition in file points_to.h.

Function Documentation

operator<<()

std::ostream& operator<< ( std::ostream &  out, const points_tot &  points_to  )

inline

Definition at line 61 of file points_to.h.