CBMC
Public Attributes | List of all members
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: