Go to the documentation of this file.
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
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
Base class for all expressions.
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
void set(const irep_namet &name, const irep_idt &value)
exprt & default_argument()