float_utilst::rounding_mode_bitst Struct Reference

#include <float_utils.h>

Collaboration diagram for float_utilst::rounding_mode_bitst:

Public Member Functions
	rounding_mode_bitst ()
void	set (const ieee_floatt::rounding_modet mode)

Public Attributes
literalt	round_to_even
literalt	round_to_zero
literalt	round_to_plus_inf
literalt	round_to_minus_inf
literalt	round_to_away

Detailed Description

Definition at line 20 of file float_utils.h.

Constructor & Destructor Documentation

rounding_mode_bitst()

float_utilst::rounding_mode_bitst::rounding_mode_bitst ( )

inline

Definition at line 30 of file float_utils.h.

Member Function Documentation

set()

void float_utilst::rounding_mode_bitst::set ( const ieee_floatt::rounding_modet mode )

inline

Definition at line 39 of file float_utils.h.

Member Data Documentation

round_to_away

literalt float_utilst::rounding_mode_bitst::round_to_away

Definition at line 28 of file float_utils.h.

round_to_even

literalt float_utilst::rounding_mode_bitst::round_to_even

Definition at line 24 of file float_utils.h.

round_to_minus_inf

literalt float_utilst::rounding_mode_bitst::round_to_minus_inf

Definition at line 27 of file float_utils.h.

round_to_plus_inf

literalt float_utilst::rounding_mode_bitst::round_to_plus_inf

Definition at line 26 of file float_utils.h.

round_to_zero

literalt float_utilst::rounding_mode_bitst::round_to_zero

Definition at line 25 of file float_utils.h.

---

The documentation for this struct was generated from the following file:

• solvers/floatbv/float_utils.h