smt_fp_rounding_utils.h File Reference

#include "irep2/irep2_expr.h"
#include <util/arith/ieee_float.h>

Include dependency graph for smt_fp_rounding_utils.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	smt_fp_rounding_utils

Functions
bool	smt_fp_rounding_utils::is_nearest_rounding_mode (const expr2tc &rounding_mode)
bool	smt_fp_rounding_utils::is_round_to_plus_inf (const expr2tc &rounding_mode)
bool	smt_fp_rounding_utils::is_round_to_minus_inf (const expr2tc &rounding_mode)
bool	smt_fp_rounding_utils::is_round_to_zero (const expr2tc &rounding_mode)
bool	smt_fp_rounding_utils::is_round_to_away (const expr2tc &rounding_mode)