CBMC
Public Member Functions | Public Attributes | List of all members
value_set_dereferencet::valuet Class Reference

Return value for build_reference_to; see that method for documentation. More...

#include <value_set_dereference.h>

+ Collaboration diagram for value_set_dereferencet::valuet:

Public Member Functions

 valuet ()
 

Public Attributes

exprt value
 
exprt pointer
 
exprt pointer_guard
 

Detailed Description

Return value for build_reference_to; see that method for documentation.

Definition at line 58 of file value_set_dereference.h.

Constructor & Destructor Documentation

◆ valuet()

value_set_dereferencet::valuet::valuet ( )
inline

Definition at line 65 of file value_set_dereference.h.

Member Data Documentation

◆ pointer

exprt value_set_dereferencet::valuet::pointer

Definition at line 62 of file value_set_dereference.h.

◆ pointer_guard

exprt value_set_dereferencet::valuet::pointer_guard

Definition at line 63 of file value_set_dereference.h.

◆ value

exprt value_set_dereferencet::valuet::value

Definition at line 61 of file value_set_dereference.h.

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