Go to the documentation of this file.
10 #ifndef CPROVER_CPP_CPP_TEMPLATE_TYPE_H
11 #define CPROVER_CPP_CPP_TEMPLATE_TYPE_H
52 if(type.
id()==ID_template)
60 if(type.
id()==ID_template)
66 #endif // CPROVER_CPP_CPP_TEMPLATE_TYPE_H
const typet & subtype() const
The type of an expression, extends irept.
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
Defines typet, type_with_subtypet and type_with_subtypest.
const typet & template_subtype(const typet &type)
const template_parameterst & template_parameters() const
template_parameterst & template_parameters()
#define PRECONDITION(CONDITION)
std::vector< template_parametert > template_parameterst
const irep_idt & id() const
template_typet & to_template_type(typet &type)