CBMC
Public Attributes | List of all members
concurrency_instrumentationt::shared_vart Class Reference
+ Collaboration diagram for concurrency_instrumentationt::shared_vart:

Public Attributes

typet type
 
std::optional< symbol_exprt > array_symbol
 
std::optional< symbol_exprt > w_index_symbol
 

Detailed Description

Definition at line 57 of file concurrency.cpp.

Member Data Documentation

◆ array_symbol

std::optional<symbol_exprt> concurrency_instrumentationt::shared_vart::array_symbol

Definition at line 61 of file concurrency.cpp.

◆ type

typet concurrency_instrumentationt::shared_vart::type

Definition at line 60 of file concurrency.cpp.

◆ w_index_symbol

std::optional<symbol_exprt> concurrency_instrumentationt::shared_vart::w_index_symbol

Definition at line 61 of file concurrency.cpp.

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