cprover
value_set_dereferencet::valuet Class Reference
Collaboration diagram for value_set_dereferencet::valuet:
[legend]

Public Member Functions

 valuet ()
 

Public Attributes

exprt value
 
exprt pointer_guard
 

Detailed Description

Definition at line 95 of file value_set_dereference.h.

Constructor & Destructor Documentation

◆ valuet()

value_set_dereferencet::valuet::valuet ( )
inline

Definition at line 101 of file value_set_dereference.h.

Member Data Documentation

◆ 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: