cpp_typecheck_resolvet Member List

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

apply_template_args(resolve_identifierst &identifiers, const cpp_template_args_non_tct &template_args, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
apply_template_args(exprt &expr, const cpp_template_args_non_tct &template_args, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
convert_identifier(const cpp_idt &id, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
convert_identifiers(const cpp_scopest::id_sett &id_set, const cpp_typecheck_fargst &fargs, resolve_identifierst &identifiers)	cpp_typecheck_resolvet	protected
convert_template_parameter(const cpp_idt &id)	cpp_typecheck_resolvet	protected
cpp_typecheck	cpp_typecheck_resolvet	protected
cpp_typecheck_resolvet(class cpp_typecheckt &_cpp_typecheck)	cpp_typecheck_resolvet
disambiguate_functions(resolve_identifierst &identifiers, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
disambiguate_functions(const exprt &expr, unsigned &args_distance, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
disambiguate_template_classes(const irep_idt &base_name, const cpp_scopest::id_sett &id_set, const cpp_template_args_non_tct &template_args)	cpp_typecheck_resolvet	protected
do_builtin(const irep_idt &base_name, const cpp_typecheck_fargst &fargs, const cpp_template_args_non_tct &template_args)	cpp_typecheck_resolvet	protected
exact_match_functions(resolve_identifierst &identifiers, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
filter(resolve_identifierst &identifiers, const wantt want)	cpp_typecheck_resolvet	protected
filter_for_named_scopes(cpp_scopest::id_sett &id_set)	cpp_typecheck_resolvet	protected
filter_for_namespaces(cpp_scopest::id_sett &id_set)	cpp_typecheck_resolvet	protected
guess_function_template_args(resolve_identifierst &identifiers, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
guess_function_template_args(const exprt &expr, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
guess_template_args(const typet &template_parameter, const typet &desired_type)	cpp_typecheck_resolvet	protected
guess_template_args(const exprt &template_parameter, const exprt &desired_expr)	cpp_typecheck_resolvet	protected
make_constructors(resolve_identifierst &identifiers)	cpp_typecheck_resolvet	protected
original_scope	cpp_typecheck_resolvet	protected
remove_duplicates(resolve_identifierst &identifiers)	cpp_typecheck_resolvet	protected
remove_templates(resolve_identifierst &identifiers)	cpp_typecheck_resolvet	protected
resolve(const cpp_namet &cpp_name, const wantt want, const cpp_typecheck_fargst &fargs, bool fail_with_exception=true)	cpp_typecheck_resolvet
resolve_argument(exprt &argument, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
resolve_identifierst typedef	cpp_typecheck_resolvet	protected
resolve_namespace(const cpp_namet &cpp_name)	cpp_typecheck_resolvet
resolve_scope(const cpp_namet &cpp_name, irep_idt &base_name, cpp_template_args_non_tct &template_args)	cpp_typecheck_resolvet
resolve_with_arguments(cpp_scopest::id_sett &id_set, const irep_idt &base_name, const cpp_typecheck_fargst &fargs)	cpp_typecheck_resolvet	protected
show_identifiers(const irep_idt &base_name, const resolve_identifierst &identifiers, std::ostream &out)	cpp_typecheck_resolvet	protected
source_location	cpp_typecheck_resolvet	protected
wantt enum name	cpp_typecheck_resolvet