cprover
|
C++ Language Type Checking. More...
Go to the source code of this file.
Classes | |
class | cpp_template_args_baset |
class | cpp_template_args_non_tct |
class | cpp_template_args_tct |
Functions | |
cpp_template_args_non_tct & | to_cpp_template_args_non_tc (irept &irep) |
const cpp_template_args_non_tct & | to_cpp_template_args_non_tc (const irept &irep) |
cpp_template_args_tct & | to_cpp_template_args_tc (irept &irep) |
const cpp_template_args_tct & | to_cpp_template_args_tc (const irept &irep) |
C++ Language Type Checking.
Definition in file cpp_template_args.h.
|
inline |
Definition at line 48 of file cpp_template_args.h.
References irept::id(), and PRECONDITION.
Referenced by cpp_typecheckt::convert_class_template_specialization(), cpp_typecheckt::convert_template_function_or_member_specialization(), and cpp_typecheck_resolvet::resolve_scope().
|
inline |
Definition at line 55 of file cpp_template_args.h.
References irept::id(), and PRECONDITION.
|
inline |
Definition at line 82 of file cpp_template_args.h.
References irept::id(), and PRECONDITION.
Referenced by cpp_typecheck_resolvet::guess_function_template_args().
|
inline |
Definition at line 88 of file cpp_template_args.h.
References irept::id(), and PRECONDITION.