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: