cprover
rw_set_baset::entryt Struct Reference

#include <rw_set.h>

+ Collaboration diagram for rw_set_baset::entryt:

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.

◆ object

irep_idt rw_set_baset::entryt::object

Definition at line 48 of file rw_set.h.

◆ symbol_expr

symbol_exprt rw_set_baset::entryt::symbol_expr

Definition at line 47 of file rw_set.h.


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