CBMC
|
#include <rw_set.h>
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 |
|
inline |
symbol_exprt rw_set_baset::entryt::symbol_expr |