#include <shared_buffers.h>

Collaboration diagram for shared_bufferst::varst:

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

Detailed Description

Definition at line 49 of file shared_buffers.h.

Member Data Documentation

◆ flush_delayed

irep_idt shared_bufferst::varst::flush_delayed

Definition at line 64 of file shared_buffers.h.

◆ mem_tmp

irep_idt shared_bufferst::varst::mem_tmp

Definition at line 63 of file shared_buffers.h.

◆ r_buff0_thds

std::vector<irep_idt> shared_bufferst::varst::r_buff0_thds

Definition at line 67 of file shared_buffers.h.

◆ r_buff1_thds

std::vector<irep_idt> shared_bufferst::varst::r_buff1_thds

Definition at line 67 of file shared_buffers.h.

◆ read_delayed

irep_idt shared_bufferst::varst::read_delayed

Definition at line 70 of file shared_buffers.h.

◆ read_delayed_var

irep_idt shared_bufferst::varst::read_delayed_var

Definition at line 71 of file shared_buffers.h.

◆ type

typet shared_bufferst::varst::type

Definition at line 73 of file shared_buffers.h.

◆ w_buff0

irep_idt shared_bufferst::varst::w_buff0

Definition at line 54 of file shared_buffers.h.

◆ w_buff0_used

irep_idt shared_bufferst::varst::w_buff0_used

Definition at line 57 of file shared_buffers.h.

◆ w_buff1

irep_idt shared_bufferst::varst::w_buff1