cprover
rw_set_baset::entryt Struct Reference

#include <rw_set.h>

Collaboration diagram for rw_set_baset::entryt:
[legend]

Public Member Functions

 entryt ()
 

Public Attributes

symbol_exprt symbol_expr
 
irep_idt object
 
exprt guard
 

Detailed Description

Definition at line 45 of file rw_set.h.

Constructor & Destructor Documentation

◆ entryt()

rw_set_baset::entryt::entryt ( )
inline

Definition at line 51 of file rw_set.h.

Member Data Documentation

◆ guard

exprt rw_set_baset::entryt::guard

Definition at line 49 of file rw_set.h.

Referenced by _rw_set_loct::read_write_rec().

◆ object

◆ symbol_expr

symbol_exprt rw_set_baset::entryt::symbol_expr

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