cprover
|
#include <partial_order_concurrency.h>
Public Attributes | |
event_listt | reads |
event_listt | writes |
Definition at line 48 of file partial_order_concurrency.h.
event_listt partial_order_concurrencyt::a_rect::reads |
Definition at line 50 of file partial_order_concurrency.h.
Referenced by partial_order_concurrencyt::build_event_lists(), and memory_model_baset::read_from().
event_listt partial_order_concurrencyt::a_rect::writes |
Definition at line 50 of file partial_order_concurrency.h.
Referenced by partial_order_concurrencyt::build_event_lists(), memory_model_sct::from_read(), memory_model_baset::read_from(), and memory_model_sct::write_serialization_external().