Loading...

Searching...

No Matches

floatbv_expr.cpp File Reference

#include "floatbv_expr.h"
#include "arith_tools.h"
#include "bitvector_types.h"

+ Include dependency graph for floatbv_expr.cpp:

Functions

returns the a rounding mode expression for a given IEEE rounding mode, encoded using the recommendation in C11 5.2.4.2.2

Function Documentation

constant_exprt floatbv_rounding_mode ( unsigned rm )

returns the a rounding mode expression for a given IEEE rounding mode, encoded using the recommendation in C11 5.2.4.2.2

Definition at line 14 of file floatbv_expr.cpp.