cprover
|
Go to the source code of this file.
typet c_bool_type | ( | ) |
Definition at line 108 of file c_types.cpp.
std::string c_type_as_string | ( | const irep_idt & | c_type | ) |
Definition at line 259 of file c_types.cpp.
unsignedbv_typet char16_t_type | ( | ) |
Definition at line 165 of file c_types.cpp.
unsignedbv_typet char32_t_type | ( | ) |
Definition at line 175 of file c_types.cpp.
bitvector_typet char_type | ( | ) |
Definition at line 114 of file c_types.cpp.
floatbv_typet double_type | ( | ) |
Definition at line 193 of file c_types.cpp.
bitvector_typet enum_constant_type | ( | ) |
return type of enum constants
Definition at line 23 of file c_types.cpp.
floatbv_typet float_type | ( | ) |
Definition at line 185 of file c_types.cpp.
bitvector_typet index_type | ( | ) |
Definition at line 16 of file c_types.cpp.
floatbv_typet long_double_type | ( | ) |
Definition at line 201 of file c_types.cpp.
signedbv_typet pointer_diff_type | ( | ) |
Definition at line 228 of file c_types.cpp.
pointer_typet pointer_type | ( | const typet & | subtype | ) |
Definition at line 243 of file c_types.cpp.
reference_typet reference_type | ( | const typet & | subtype | ) |
Definition at line 248 of file c_types.cpp.
signedbv_typet signed_char_type | ( | ) |
Definition at line 142 of file c_types.cpp.
signedbv_typet signed_int_type | ( | ) |
Definition at line 30 of file c_types.cpp.
signedbv_typet signed_long_int_type | ( | ) |
Definition at line 80 of file c_types.cpp.
signedbv_typet signed_long_long_int_type | ( | ) |
Definition at line 87 of file c_types.cpp.
signedbv_typet signed_short_int_type | ( | ) |
Definition at line 37 of file c_types.cpp.
signedbv_typet signed_size_type | ( | ) |
Definition at line 74 of file c_types.cpp.
unsignedbv_typet size_type | ( | ) |
Definition at line 58 of file c_types.cpp.
unsignedbv_typet unsigned_char_type | ( | ) |
Definition at line 135 of file c_types.cpp.
unsignedbv_typet unsigned_int_type | ( | ) |
Definition at line 44 of file c_types.cpp.
unsignedbv_typet unsigned_long_int_type | ( | ) |
Definition at line 94 of file c_types.cpp.
unsignedbv_typet unsigned_long_long_int_type | ( | ) |
Definition at line 101 of file c_types.cpp.
unsignedbv_typet unsigned_short_int_type | ( | ) |
Definition at line 51 of file c_types.cpp.
empty_typet void_type | ( | ) |
Definition at line 253 of file c_types.cpp.
bitvector_typet wchar_t_type | ( | ) |
Definition at line 149 of file c_types.cpp.