#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 51 of file shared_buffers.h.

Member Data Documentation

◆ flush_delayed

irep_idt shared_bufferst::varst::flush_delayed

Definition at line 66 of file shared_buffers.h.

◆ mem_tmp

irep_idt shared_bufferst::varst::mem_tmp

Definition at line 65 of file shared_buffers.h.

◆ r_buff0_thds

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

Definition at line 69 of file shared_buffers.h.

◆ r_buff1_thds

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

Definition at line 69 of file shared_buffers.h.

◆ read_delayed

irep_idt shared_bufferst::varst::read_delayed

Definition at line 72 of file shared_buffers.h.

◆ read_delayed_var

irep_idt shared_bufferst::varst::read_delayed_var

Definition at line 73 of file shared_buffers.h.

◆ type

typet shared_bufferst::varst::type

Definition at line 75 of file shared_buffers.h.

◆ w_buff0

irep_idt shared_bufferst::varst::w_buff0

Definition at line 56 of file shared_buffers.h.

◆ w_buff0_used

irep_idt shared_bufferst::varst::w_buff0_used

Definition at line 59 of file shared_buffers.h.

◆ w_buff1

irep_idt shared_bufferst::varst::w_buff1