cprover
|
C++ Language Type Checking. More...
#include <util/expr.h>
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 47 of file cpp_template_args.h.
References irept::id().
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 54 of file cpp_template_args.h.
References irept::id().
|
inline |
Definition at line 81 of file cpp_template_args.h.
References irept::id().
Referenced by cpp_typecheck_resolvet::guess_function_template_args().
|
inline |
Definition at line 87 of file cpp_template_args.h.
References irept::id().