cprover
|
#include <shared_buffers.h>
Public Attributes | |
irep_idt | w_buff0 |
irep_idt | w_buff1 |
irep_idt | w_buff0_used |
irep_idt | w_buff1_used |
irep_idt | mem_tmp |
irep_idt | flush_delayed |
std::vector< irep_idt > | r_buff0_thds |
std::vector< irep_idt > | r_buff1_thds |
irep_idt | read_delayed |
irep_idt | read_delayed_var |
typet | type |
Definition at line 49 of file shared_buffers.h.
irep_idt shared_bufferst::varst::flush_delayed |
Definition at line 64 of file shared_buffers.h.
Referenced by shared_bufferst::nondet_flush(), and shared_bufferst::cfg_visitort::weak_memory().
irep_idt shared_bufferst::varst::mem_tmp |
Definition at line 63 of file shared_buffers.h.
Referenced by shared_bufferst::nondet_flush(), and shared_bufferst::cfg_visitort::weak_memory().
std::vector<irep_idt> shared_bufferst::varst::r_buff0_thds |
Definition at line 67 of file shared_buffers.h.
Referenced by shared_bufferst::det_flush(), shared_bufferst::nondet_flush(), and shared_bufferst::write().
std::vector<irep_idt> shared_bufferst::varst::r_buff1_thds |
Definition at line 67 of file shared_buffers.h.
Referenced by shared_bufferst::det_flush(), shared_bufferst::nondet_flush(), and shared_bufferst::write().
irep_idt shared_bufferst::varst::read_delayed |
Definition at line 70 of file shared_buffers.h.
Referenced by shared_bufferst::delay_read(), shared_bufferst::flush_read(), and shared_bufferst::cfg_visitort::weak_memory().
irep_idt shared_bufferst::varst::read_delayed_var |
Definition at line 71 of file shared_buffers.h.
Referenced by shared_bufferst::delay_read(), shared_bufferst::flush_read(), and shared_bufferst::cfg_visitort::weak_memory().
typet shared_bufferst::varst::type |
Definition at line 73 of file shared_buffers.h.
Referenced by shared_bufferst::delay_read(), shared_bufferst::det_flush(), shared_bufferst::flush_read(), mmio(), shared_bufferst::nondet_flush(), and shared_bufferst::cfg_visitort::weak_memory().
irep_idt shared_bufferst::varst::w_buff0 |
Definition at line 54 of file shared_buffers.h.
Referenced by shared_bufferst::det_flush(), mmio(), shared_bufferst::nondet_flush(), and shared_bufferst::write().
irep_idt shared_bufferst::varst::w_buff0_used |
Definition at line 57 of file shared_buffers.h.
Referenced by shared_bufferst::det_flush(), shared_bufferst::nondet_flush(), and shared_bufferst::write().
irep_idt shared_bufferst::varst::w_buff1 |
Definition at line 54 of file shared_buffers.h.
Referenced by shared_bufferst::det_flush(), mmio(), shared_bufferst::nondet_flush(), and shared_bufferst::write().
irep_idt shared_bufferst::varst::w_buff1_used |
Definition at line 57 of file shared_buffers.h.
Referenced by shared_bufferst::det_flush(), shared_bufferst::nondet_flush(), and shared_bufferst::write().