cprover
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...

+ Collaboration diagram for value_set_dereferencet::valuet:

Public Member Functions

 valuet ()
 

Public Attributes

exprt value
 
exprt pointer_guard
 
bool ignore
 

Detailed Description

Return value for build_reference_to; see that method for documentation.

Definition at line 84 of file value_set_dereference.h.

Constructor & Destructor Documentation

◆ valuet()

value_set_dereferencet::valuet::valuet ( )
inline

Definition at line 91 of file value_set_dereference.h.

Member Data Documentation

◆ ignore

bool value_set_dereferencet::valuet::ignore

Definition at line 89 of file value_set_dereference.h.

◆ pointer_guard

exprt value_set_dereferencet::valuet::pointer_guard

Definition at line 88 of file value_set_dereference.h.

◆ value

exprt value_set_dereferencet::valuet::value

Definition at line 87 of file value_set_dereference.h.

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