cpp_template_type.h File Reference

#include <util/invariant.h>
#include <util/type.h>
#include "cpp_template_parameter.h"

Include dependency graph for cpp_template_type.h:

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

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)

Function Documentation

template_subtype() [1/2]

const typet& template_subtype ( const typet &  type )

inline

Definition at line 52 of file cpp_template_type.h.

template_subtype() [2/2]

typet& template_subtype ( typet &  type )

inline

Definition at line 60 of file cpp_template_type.h.

to_template_type() [1/2]

const template_typet& to_template_type ( const typet &  type )

inline

Definition at line 46 of file cpp_template_type.h.

to_template_type() [2/2]

template_typet& to_template_type ( typet &  type )

inline

Definition at line 40 of file cpp_template_type.h.