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

Constructor & Destructor Documentation

§ valuet()

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: