concurrency_instrumentationt::shared_vart Class Reference

Collaboration diagram for concurrency_instrumentationt::shared_vart:

Public Attributes
typet	type
symbol_exprt	array_symbol
symbol_exprt	w_index_symbol

Detailed Description

Definition at line 58 of file concurrency.cpp.

Member Data Documentation

array_symbol

symbol_exprt concurrency_instrumentationt::shared_vart::array_symbol

Definition at line 62 of file concurrency.cpp.

type

typet concurrency_instrumentationt::shared_vart::type

Definition at line 61 of file concurrency.cpp.

Referenced by concurrency_instrumentationt::collect().

w_index_symbol

symbol_exprt concurrency_instrumentationt::shared_vart::w_index_symbol

Definition at line 62 of file concurrency.cpp.

---

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

• goto-instrument/concurrency.cpp