cprover
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:
[legend]

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 105 of file value_set_dereference.h.

Constructor & Destructor Documentation

◆ valuet()

value_set_dereferencet::valuet::valuet ( )
inline

Definition at line 112 of file value_set_dereference.h.

Member Data Documentation

◆ ignore

bool value_set_dereferencet::valuet::ignore

◆ pointer_guard

exprt value_set_dereferencet::valuet::pointer_guard

◆ value

exprt value_set_dereferencet::valuet::value

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