|
template<> |
bool | can_cast_expr< floatbv_typecast_exprt > (const exprt &base) |
|
void | validate_expr (const floatbv_typecast_exprt &value) |
|
const floatbv_typecast_exprt & | to_floatbv_typecast_expr (const exprt &expr) |
| Cast an exprt to a floatbv_typecast_exprt.
|
|
floatbv_typecast_exprt & | to_floatbv_typecast_expr (exprt &expr) |
| Cast an exprt to a floatbv_typecast_exprt.
|
|
template<> |
bool | can_cast_expr< floatbv_round_to_integral_exprt > (const exprt &base) |
|
const floatbv_round_to_integral_exprt & | to_floatbv_round_to_integral_expr (const exprt &expr) |
| Cast an exprt to a floatbv_round_to_integral_exprt.
|
|
floatbv_round_to_integral_exprt & | to_floatbv_round_to_integral_expr (exprt &expr) |
| Cast an exprt to a floatbv_round_to_integral_exprt.
|
|
template<> |
bool | can_cast_expr< isnan_exprt > (const exprt &base) |
|
void | validate_expr (const isnan_exprt &value) |
|
const isnan_exprt & | to_isnan_expr (const exprt &expr) |
| Cast an exprt to a isnan_exprt.
|
|
isnan_exprt & | to_isnan_expr (exprt &expr) |
| Cast an exprt to a isnan_exprt.
|
|
template<> |
bool | can_cast_expr< isinf_exprt > (const exprt &base) |
|
void | validate_expr (const isinf_exprt &value) |
|
const isinf_exprt & | to_isinf_expr (const exprt &expr) |
| Cast an exprt to a isinf_exprt.
|
|
isinf_exprt & | to_isinf_expr (exprt &expr) |
| Cast an exprt to a isinf_exprt.
|
|
template<> |
bool | can_cast_expr< isfinite_exprt > (const exprt &base) |
|
void | validate_expr (const isfinite_exprt &value) |
|
const isfinite_exprt & | to_isfinite_expr (const exprt &expr) |
| Cast an exprt to a isfinite_exprt.
|
|
isfinite_exprt & | to_isfinite_expr (exprt &expr) |
| Cast an exprt to a isfinite_exprt.
|
|
template<> |
bool | can_cast_expr< isnormal_exprt > (const exprt &base) |
|
void | validate_expr (const isnormal_exprt &value) |
|
const isnormal_exprt & | to_isnormal_expr (const exprt &expr) |
| Cast an exprt to a isnormal_exprt.
|
|
isnormal_exprt & | to_isnormal_expr (exprt &expr) |
| Cast an exprt to a isnormal_exprt.
|
|
template<> |
bool | can_cast_expr< ieee_float_equal_exprt > (const exprt &base) |
|
void | validate_expr (const ieee_float_equal_exprt &value) |
|
const ieee_float_equal_exprt & | to_ieee_float_equal_expr (const exprt &expr) |
| Cast an exprt to an ieee_float_equal_exprt.
|
|
ieee_float_equal_exprt & | to_ieee_float_equal_expr (exprt &expr) |
| Cast an exprt to an ieee_float_equal_exprt.
|
|
template<> |
bool | can_cast_expr< ieee_float_notequal_exprt > (const exprt &base) |
|
void | validate_expr (const ieee_float_notequal_exprt &value) |
|
const ieee_float_notequal_exprt & | to_ieee_float_notequal_expr (const exprt &expr) |
| Cast an exprt to an ieee_float_notequal_exprt.
|
|
ieee_float_notequal_exprt & | to_ieee_float_notequal_expr (exprt &expr) |
| Cast an exprt to an ieee_float_notequal_exprt.
|
|
template<> |
bool | can_cast_expr< ieee_float_op_exprt > (const exprt &base) |
|
void | validate_expr (const ieee_float_op_exprt &value) |
|
const ieee_float_op_exprt & | to_ieee_float_op_expr (const exprt &expr) |
| Cast an exprt to an ieee_float_op_exprt.
|
|
ieee_float_op_exprt & | to_ieee_float_op_expr (exprt &expr) |
| Cast an exprt to an ieee_float_op_exprt.
|
|
const floatbv_mod_exprt & | to_floatbv_mod_expr (const exprt &expr) |
| Cast an exprt to a floatbv_mod_exprt.
|
|
floatbv_mod_exprt & | to_floatbv_mod_expr (exprt &expr) |
| Cast an exprt to a floatbv_mod_exprt.
|
|
const floatbv_rem_exprt & | to_floatbv_rem_expr (const exprt &expr) |
| Cast an exprt to a floatbv_rem_exprt.
|
|
floatbv_rem_exprt & | to_floatbv_rem_expr (exprt &expr) |
| Cast an exprt to a floatbv_rem_exprt.
|
|
constant_exprt | floatbv_rounding_mode (unsigned) |
| returns the a rounding mode expression for a given IEEE rounding mode, encoded using the recommendation in C11 5.2.4.2.2
|
|