#include <util/expr.h>

Include dependency graph for cpp_template_parameter.h:

This graph shows which files directly or indirectly include this file:

Classes
struct	template_parametert

struct	template_parameter_symbol_typet
	a template parameter symbol that is a type More...

Functions
const template_parameter_symbol_typet &	to_template_parameter_symbol_type (const typet &type)
	Cast a typet to a template_parameter_symbol_typet. More...

template_parameter_symbol_typet &	to_template_parameter_symbol_type (typet &type)
	Cast a typet to a template_parameter_symbol_typet. More...

Function Documentation

◆ to_template_parameter_symbol_type() [1/2]

const template_parameter_symbol_typet& to_template_parameter_symbol_type ( const typet & type )

inline

Cast a typet to a template_parameter_symbol_typet.

This is an unchecked conversion. type must be known to be template_parameter_symbol_typet. Will fail with a precondition violation if type doesn't match.

Parameters

type	Source type.

Returns: Object of type template_parameter_symbol_typet.

Definition at line 94 of file cpp_template_parameter.h.

◆ to_template_parameter_symbol_type() [2/2]

template_parameter_symbol_typet& to_template_parameter_symbol_type ( typet & type )