cprover
|
Go to the source code of this file.
Classes | |
class | template_typet |
Functions | |
template_typet & | to_template_type (typet &type) |
const template_typet & | to_template_type (const typet &type) |
const typet & | template_subtype (const typet &type) |
typet & | template_subtype (typet &type) |
Definition at line 50 of file cpp_template_type.h.
References irept::id(), and typet::subtype().
Referenced by cpp_typecheckt::convert_function(), and cpp_typecheckt::function_identifier().
Definition at line 58 of file cpp_template_type.h.
References irept::id(), and typet::subtype().
|
inline |
Definition at line 38 of file cpp_template_type.h.
References irept::id(), and PRECONDITION.
|
inline |
Definition at line 44 of file cpp_template_type.h.
References irept::id(), and PRECONDITION.