Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_C_TYPES_H
11 #define CPROVER_UTIL_C_TYPES_H
48 #endif // CPROVER_UTIL_C_TYPES_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::string c_type_as_string(const irep_idt &)
The type of an expression, extends irept.
unsignedbv_typet char32_t_type()
floatbv_typet double_type()
Fixed-width bit-vector with IEEE floating-point interpretation.
bitvector_typet char_type()
bitvector_typet enum_constant_type()
return type of enum constants
unsignedbv_typet size_type()
reference_typet reference_type(const typet &)
Fixed-width bit-vector with unsigned binary interpretation.
unsignedbv_typet unsigned_long_int_type()
floatbv_typet float_type()
signedbv_typet signed_char_type()
floatbv_typet long_double_type()
Fixed-width bit-vector with two's complement interpretation.
unsignedbv_typet unsigned_long_long_int_type()
signedbv_typet pointer_diff_type()
signedbv_typet signed_size_type()
unsignedbv_typet unsigned_int_type()
Base class of fixed-width bit-vector types.
unsignedbv_typet char16_t_type()
signedbv_typet signed_long_long_int_type()
bitvector_typet index_type()
unsignedbv_typet unsigned_char_type()
signedbv_typet signed_long_int_type()
unsignedbv_typet unsigned_short_int_type()
signedbv_typet signed_short_int_type()
pointer_typet pointer_type(const typet &)
signedbv_typet signed_int_type()
bitvector_typet wchar_t_type()
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...