object_id.h File Reference

Object Identifiers. More...

#include <iosfwd>
#include <set>
#include <util/std_expr.h>

Include dependency graph for object_id.h:

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

Go to the source code of this file.

Classes
class	object_idt

Typedefs
typedef std::set< object_idt >	object_id_sett

Functions
std::ostream &	operator<< (std::ostream &out, const object_idt &object_id)
void	get_objects (const exprt &expr, object_id_sett &dest)
void	get_objects_r (const code_assignt &assign, object_id_sett &)
void	get_objects_w (const code_assignt &assign, object_id_sett &)
void	get_objects_w_lhs (const exprt &lhs, object_id_sett &)
void	get_objects_r_lhs (const exprt &lhs, object_id_sett &)

Detailed Description

Object Identifiers.

Definition in file object_id.h.

Typedef Documentation

object_id_sett

typedef std::set<object_idt> object_id_sett

Definition at line 58 of file object_id.h.

Function Documentation

get_objects()

void get_objects	(	const exprt &	expr,
		object_id_sett &	dest
	)

Definition at line 78 of file object_id.cpp.

get_objects_r()

void get_objects_r	(	const code_assignt &	assign,
		object_id_sett &	dest
	)

Definition at line 83 of file object_id.cpp.

get_objects_r_lhs()

void get_objects_r_lhs	(	const exprt &	lhs,
		object_id_sett &	dest
	)

Definition at line 99 of file object_id.cpp.

get_objects_w()

void get_objects_w	(	const code_assignt &	assign,
		object_id_sett &	dest
	)

Definition at line 89 of file object_id.cpp.

get_objects_w_lhs()

void get_objects_w_lhs	(	const exprt &	lhs,
		object_id_sett &
	)

operator<<()

std::ostream& operator<< ( std::ostream &  out, const object_idt &  object_id  )

inline

Definition at line 51 of file object_id.h.