cprover
|
#include <util/std_types.h>
Go to the source code of this file.
floatbv_typet gcc_float128_type | ( | ) |
Definition at line 58 of file gcc_types.cpp.
floatbv_typet gcc_float128x_type | ( | ) |
Definition at line 67 of file gcc_types.cpp.
floatbv_typet gcc_float16_type | ( | ) |
Definition at line 14 of file gcc_types.cpp.
floatbv_typet gcc_float32_type | ( | ) |
Definition at line 22 of file gcc_types.cpp.
floatbv_typet gcc_float32x_type | ( | ) |
Definition at line 31 of file gcc_types.cpp.
floatbv_typet gcc_float64_type | ( | ) |
Definition at line 40 of file gcc_types.cpp.
floatbv_typet gcc_float64x_type | ( | ) |
Definition at line 49 of file gcc_types.cpp.
signedbv_typet gcc_signed_int128_type | ( | ) |
Definition at line 83 of file gcc_types.cpp.
unsignedbv_typet gcc_unsigned_int128_type | ( | ) |
Definition at line 76 of file gcc_types.cpp.