cprover
partial_order_concurrencyt::a_rect Struct Reference

#include <partial_order_concurrency.h>

Collaboration diagram for partial_order_concurrencyt::a_rect:
[legend]

Public Attributes

event_listt reads
 
event_listt writes
 

Detailed Description

Definition at line 48 of file partial_order_concurrency.h.

Member Data Documentation

◆ reads

event_listt partial_order_concurrencyt::a_rect::reads

◆ writes


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