CBMC
rw_set_baset::entryt Struct Reference

#include <rw_set.h>

+ Collaboration diagram for rw_set_baset::entryt:

Public Member Functions

 entryt (const symbol_exprt &_symbol_expr, const irep_idt &_object, const exprt &_guard)
 

Public Attributes

symbol_exprt symbol_expr
 
irep_idt object
 
exprt guard
 

Detailed Description

Definition at line 44 of file rw_set.h.

Constructor & Destructor Documentation

◆ entryt()

rw_set_baset::entryt::entryt ( const symbol_exprt _symbol_expr,
const irep_idt _object,
const exprt _guard 
)
inline

Definition at line 50 of file rw_set.h.

Member Data Documentation

◆ guard

exprt rw_set_baset::entryt::guard

Definition at line 48 of file rw_set.h.

◆ object

irep_idt rw_set_baset::entryt::object

Definition at line 47 of file rw_set.h.

◆ symbol_expr

symbol_exprt rw_set_baset::entryt::symbol_expr

Definition at line 46 of file rw_set.h.


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