CBMC
select_pointer_typet Member List

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

convert_pointer_type(const pointer_typet &pointer_type, const generic_parameter_specialization_mapt &generic_parameter_specialization_map, const namespacet &ns) constselect_pointer_typetvirtual
get_parameter_alternative_types(const irep_idt &function_name, const irep_idt &parameter_name, const namespacet &ns) constselect_pointer_typetvirtual
specialize_generics(const pointer_typet &pointer_type, const generic_parameter_specialization_mapt &generic_parameter_specialization_map) constselect_pointer_typet
~select_pointer_typet()=defaultselect_pointer_typetvirtual