10 #ifndef CPROVER_CPP_CPP_TEMPLATE_TYPE_H 11 #define CPROVER_CPP_CPP_TEMPLATE_TYPE_H 29 return (template_parameterst &)
add(ID_template_parameters).
get_sub();
34 return (
const template_parameterst &)
find(ID_template_parameters).
get_sub();
40 assert(type.
id()==ID_template);
46 assert(type.
id()==ID_template);
52 if(type.
id()==ID_template)
60 if(type.
id()==ID_template)
66 #endif // CPROVER_CPP_CPP_TEMPLATE_TYPE_H The type of an expression.
std::vector< template_parametert > template_parameterst
template_parameterst & template_parameters()
const typet & template_subtype(const typet &type)
const template_parameterst & template_parameters() const
const irep_idt & id() const
irept & add(const irep_namet &name)
const typet & subtype() const
const irept & find(const irep_namet &name) const
template_typet & to_template_type(typet &type)