partial_order_concurrencyt::a_rect Struct Reference

#include <partial_order_concurrency.h>

Collaboration diagram for partial_order_concurrencyt::a_rect:

Public Attributes
event_listt	reads
event_listt	writes

Detailed Description

Definition at line 53 of file partial_order_concurrency.h.

Member Data Documentation

reads

event_listt partial_order_concurrencyt::a_rect::reads

Definition at line 55 of file partial_order_concurrency.h.

writes

event_listt partial_order_concurrencyt::a_rect::writes

Definition at line 55 of file partial_order_concurrency.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-symex/partial_order_concurrency.h