cprover
shared_bufferst::varst Class Reference

#include <shared_buffers.h>

Collaboration diagram for shared_bufferst::varst:
[legend]

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_idtr_buff0_thds
 
std::vector< irep_idtr_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

§ mem_tmp

irep_idt shared_bufferst::varst::mem_tmp

§ r_buff0_thds

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

§ r_buff1_thds

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

§ read_delayed

irep_idt shared_bufferst::varst::read_delayed

§ read_delayed_var

irep_idt shared_bufferst::varst::read_delayed_var

§ type

§ w_buff0

irep_idt shared_bufferst::varst::w_buff0

§ w_buff0_used

irep_idt shared_bufferst::varst::w_buff0_used

§ w_buff1

irep_idt shared_bufferst::varst::w_buff1

§ w_buff1_used

irep_idt shared_bufferst::varst::w_buff1_used

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