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 )

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 102 of file cpp_template_parameter.h.