value_set_dereferencet::valuet Class Reference

Collaboration diagram for value_set_dereferencet::valuet:

Public Member Functions
	valuet ()

Public Attributes
exprt	value
exprt	pointer_guard

Detailed Description

Definition at line 99 of file value_set_dereference.h.

Constructor & Destructor Documentation

valuet()

value_set_dereferencet::valuet::valuet ( )

inline

Definition at line 105 of file value_set_dereference.h.

Member Data Documentation

pointer_guard

exprt value_set_dereferencet::valuet::pointer_guard

Definition at line 103 of file value_set_dereference.h.

Referenced by value_set_dereferencet::build_reference_to(), and value_set_dereferencet::dereference().

value

exprt value_set_dereferencet::valuet::value

Definition at line 102 of file value_set_dereference.h.

Referenced by value_set_dereferencet::build_reference_to(), and value_set_dereferencet::dereference().

---

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

• pointer-analysis/value_set_dereference.h