smt_fp_rounding_utils Namespace Reference

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

Function Documentation

is_nearest_rounding_mode()

bool smt_fp_rounding_utils::is_nearest_rounding_mode ( const expr2tc & rounding_mode )

inline

is_round_to_away()

bool smt_fp_rounding_utils::is_round_to_away ( const expr2tc & rounding_mode )

inline

is_round_to_minus_inf()

bool smt_fp_rounding_utils::is_round_to_minus_inf ( const expr2tc & rounding_mode )

inline

is_round_to_plus_inf()

bool smt_fp_rounding_utils::is_round_to_plus_inf ( const expr2tc & rounding_mode )

inline

is_round_to_zero()

bool smt_fp_rounding_utils::is_round_to_zero ( const expr2tc & rounding_mode )

inline