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<typet &
>(
add(ID_type));
55 return static_cast<const typet &
>(
find(ID_type));
61 return static_cast<exprt &
>(
add(ID_C_default_value));
66 return static_cast<const exprt &
>(
find(ID_C_default_value));
75 #endif // CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H The type of an expression.
const exprt & default_argument() const
bool get_bool(const irep_namet &name) const
bool has_default_argument() 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
exprt & default_argument()