CBMC
type_symbolt Member List

This is the complete list of members for type_symbolt, including all inherited members.

base_namesymbolt
display_name() constsymboltinline
is_auxiliarysymbolt
is_compiled() constsymboltinline
is_exportedsymbolt
is_externsymbolt
is_file_localsymbolt
is_function() constsymboltinline
is_inputsymbolt
is_lvaluesymbolt
is_macrosymbolt
is_outputsymbolt
is_parametersymbolt
is_propertysymbolt
is_shared() constsymboltinline
is_state_varsymbolt
is_static_lifetimesymbolt
is_thread_localsymbolt
is_typesymbolt
is_volatilesymbolt
is_weaksymbolt
is_well_formed() constsymbolt
locationsymbolt
modesymbolt
modulesymbolt
namesymbolt
operator!=(const symbolt &other) constsymbolt
operator==(const symbolt &other) constsymbolt
pretty_namesymbolt
set_compiled()symboltinline
show(std::ostream &out) constsymbolt
swap(symbolt &b)symbolt
symbol_expr() constsymbolt
symbolt()symboltinline
symbolt(const irep_idt &_name, typet _type, const irep_idt &_mode)symboltinline
typesymbolt
type_symbolt(const irep_idt &_name, typet _type, const irep_idt &_mode)type_symboltinline
valuesymbolt