CBMC
auxiliary_symbolt Member List
This is the complete list of members for
auxiliary_symbolt
, including all inherited members.
auxiliary_symbolt
()
auxiliary_symbolt
inline
auxiliary_symbolt
(const irep_idt &name, typet type, const irep_idt &mode)
auxiliary_symbolt
inline
base_name
symbolt
display_name
() const
symbolt
inline
is_auxiliary
symbolt
is_compiled
() const
symbolt
inline
is_exported
symbolt
is_extern
symbolt
is_file_local
symbolt
is_function
() const
symbolt
inline
is_input
symbolt
is_lvalue
symbolt
is_macro
symbolt
is_output
symbolt
is_parameter
symbolt
is_property
symbolt
is_shared
() const
symbolt
inline
is_state_var
symbolt
is_static_lifetime
symbolt
is_thread_local
symbolt
is_type
symbolt
is_volatile
symbolt
is_weak
symbolt
is_well_formed
() const
symbolt
location
symbolt
mode
symbolt
module
symbolt
name
symbolt
operator!=
(const symbolt &other) const
symbolt
operator==
(const symbolt &other) const
symbolt
pretty_name
symbolt
set_compiled
()
symbolt
inline
show
(std::ostream &out) const
symbolt
swap
(symbolt &b)
symbolt
symbol_expr
() const
symbolt
symbolt
()
symbolt
inline
symbolt
(const irep_idt &_name, typet _type, const irep_idt &_mode)
symbolt
inline
type
symbolt
value
symbolt
Generated by
1.9.1