cprover
c_types.h File Reference
#include "std_types.h"
+ Include dependency graph for c_types.h:

Go to the source code of this file.

Functions

bitvector_typet index_type ()
 
bitvector_typet enum_constant_type ()
 return type of enum constants More...
 
signedbv_typet signed_int_type ()
 
unsignedbv_typet unsigned_int_type ()
 
signedbv_typet signed_long_int_type ()
 
signedbv_typet signed_short_int_type ()
 
unsignedbv_typet unsigned_short_int_type ()
 
signedbv_typet signed_long_long_int_type ()
 
unsignedbv_typet unsigned_long_int_type ()
 
unsignedbv_typet unsigned_long_long_int_type ()
 
typet c_bool_type ()
 
bitvector_typet char_type ()
 
unsignedbv_typet unsigned_char_type ()
 
signedbv_typet signed_char_type ()
 
bitvector_typet wchar_t_type ()
 
unsignedbv_typet char16_t_type ()
 
unsignedbv_typet char32_t_type ()
 
floatbv_typet float_type ()
 
floatbv_typet double_type ()
 
floatbv_typet long_double_type ()
 
unsignedbv_typet size_type ()
 
signedbv_typet signed_size_type ()
 
signedbv_typet pointer_diff_type ()
 
pointer_typet pointer_type (const typet &)
 
typet void_type ()
 
reference_typet reference_type (const typet &)
 
std::string c_type_as_string (const irep_idt &)
 

Function Documentation

◆ c_bool_type()

typet c_bool_type ( )

Definition at line 108 of file c_types.cpp.

◆ c_type_as_string()

std::string c_type_as_string ( const irep_idt )

Definition at line 258 of file c_types.cpp.

◆ char16_t_type()

unsignedbv_typet char16_t_type ( )

Definition at line 165 of file c_types.cpp.

◆ char32_t_type()

unsignedbv_typet char32_t_type ( )

Definition at line 175 of file c_types.cpp.

◆ char_type()

bitvector_typet char_type ( )

Definition at line 114 of file c_types.cpp.

◆ double_type()

floatbv_typet double_type ( )

Definition at line 193 of file c_types.cpp.

◆ enum_constant_type()

bitvector_typet enum_constant_type ( )

return type of enum constants

Definition at line 23 of file c_types.cpp.

◆ float_type()

floatbv_typet float_type ( )

Definition at line 185 of file c_types.cpp.

◆ index_type()

bitvector_typet index_type ( )

Definition at line 16 of file c_types.cpp.

◆ long_double_type()

floatbv_typet long_double_type ( )

Definition at line 201 of file c_types.cpp.

◆ pointer_diff_type()

signedbv_typet pointer_diff_type ( )

Definition at line 228 of file c_types.cpp.

◆ pointer_type()

pointer_typet pointer_type ( const typet )

Definition at line 243 of file c_types.cpp.

◆ reference_type()

reference_typet reference_type ( const typet )

Definition at line 248 of file c_types.cpp.

◆ signed_char_type()

signedbv_typet signed_char_type ( )

Definition at line 142 of file c_types.cpp.

◆ signed_int_type()

signedbv_typet signed_int_type ( )

Definition at line 30 of file c_types.cpp.

◆ signed_long_int_type()

signedbv_typet signed_long_int_type ( )

Definition at line 80 of file c_types.cpp.

◆ signed_long_long_int_type()

signedbv_typet signed_long_long_int_type ( )

Definition at line 87 of file c_types.cpp.

◆ signed_short_int_type()

signedbv_typet signed_short_int_type ( )

Definition at line 37 of file c_types.cpp.

◆ signed_size_type()

signedbv_typet signed_size_type ( )

Definition at line 74 of file c_types.cpp.

◆ size_type()

unsignedbv_typet size_type ( )

Definition at line 58 of file c_types.cpp.

◆ unsigned_char_type()

unsignedbv_typet unsigned_char_type ( )

Definition at line 135 of file c_types.cpp.

◆ unsigned_int_type()

unsignedbv_typet unsigned_int_type ( )

Definition at line 44 of file c_types.cpp.

◆ unsigned_long_int_type()

unsignedbv_typet unsigned_long_int_type ( )

Definition at line 94 of file c_types.cpp.

◆ unsigned_long_long_int_type()

unsignedbv_typet unsigned_long_long_int_type ( )

Definition at line 101 of file c_types.cpp.

◆ unsigned_short_int_type()

unsignedbv_typet unsigned_short_int_type ( )

Definition at line 51 of file c_types.cpp.

◆ void_type()

typet void_type ( )

Definition at line 253 of file c_types.cpp.

◆ wchar_t_type()

bitvector_typet wchar_t_type ( )

Definition at line 149 of file c_types.cpp.