10 #ifndef CPROVER_CPP_CPP_TEMPLATE_TYPE_H 11 #define CPROVER_CPP_CPP_TEMPLATE_TYPE_H 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)