10 #ifndef CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H 11 #define CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H 27 bool get_is_type()
const 32 void set_is_type(
bool value)
34 set(ID_is_type, value);
39 return get(ID_identifier);
42 void set_identifier(
const irep_idt &identifier)
44 return set(ID_identifier, identifier);
50 return static_cast<exprt &>(
add(ID_C_default_value));
55 return static_cast<const exprt &>(
find(ID_C_default_value));
64 #endif // CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H
const exprt & default_argument() const
bool get_bool(const irep_namet &name) const
bool has_default_argument() const
const irep_idt & get(const irep_namet &name) const
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
void set(const irep_namet &name, const irep_idt &value)
exprt & default_argument()