57 result.
type().
set(ID_C_c_type, ID_long_double);
bitvector_typet gcc_float128_type()
struct configt::ansi_ct ansi_c
void build(const mp_integer &exp, const mp_integer &frac)
bitvector_typet gcc_float64x_type()
bool single_precision_constant
bitvector_typet double_type()
class floatbv_typet to_type() const
bitvector_typet gcc_float32x_type()
bitvector_typet float_type()
API to expression classes.
void from_base10(const mp_integer &exp, const mp_integer &frac)
compute f * (10^e)
ANSI-C Conversion / Type Checking.
bitvector_typet long_double_type()
Complex numbers made of pair of given subtype.
const floatbv_typet & to_floatbv_type(const typet &type)
Cast a generic typet to a floatbv_typet.
Base class for all expressions.
exprt convert_float_literal(const std::string &src)
const std::string integer2binary(const mp_integer &n, std::size_t width)
std::size_t width() const
bitvector_typet gcc_float64_type()
bitvector_typet gcc_float16_type()
bitvector_typet gcc_float128x_type()
complex constructor from a pair of numbers
bitvector_typet gcc_float32_type()
void set(const irep_namet &name, const irep_idt &value)