cprover
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
get_recursively_instantiated_type(const irep_idt &, const generic_parameter_specialization_mapt &, generic_parameter_recursion_trackingt &, const size_t) constselect_pointer_typetprivate
get_recursively_instantiated_type(const irep_idt &parameter_name, const generic_parameter_specialization_mapt &visited) constselect_pointer_typetprivate
specialize_generics(const pointer_typet &pointer_type, const generic_parameter_specialization_mapt &generic_parameter_specialization_map, generic_parameter_recursion_trackingt &visited_nodes) constselect_pointer_typet
~select_pointer_typet()=defaultselect_pointer_typetvirtual