float_bvt::rounding_mode_bitst Struct Reference

Collaboration diagram for float_bvt::rounding_mode_bitst:

Public Member Functions
void	get (const exprt &rm)
	rounding_mode_bitst (const exprt &rm)

Public Attributes
exprt	round_to_even
exprt	round_to_zero
exprt	round_to_plus_inf
exprt	round_to_minus_inf

Detailed Description

Definition at line 100 of file float_bv.h.

Constructor & Destructor Documentation

rounding_mode_bitst()

float_bvt::rounding_mode_bitst::rounding_mode_bitst ( const exprt & rm )

inlineexplicit

Definition at line 109 of file float_bv.h.

Member Function Documentation

get()

void float_bvt::rounding_mode_bitst::get

(

const exprt &

rm

)

Definition at line 277 of file float_bv.cpp.

Member Data Documentation

round_to_even

exprt float_bvt::rounding_mode_bitst::round_to_even

Definition at line 103 of file float_bv.h.

round_to_minus_inf

exprt float_bvt::rounding_mode_bitst::round_to_minus_inf

Definition at line 106 of file float_bv.h.

round_to_plus_inf

exprt float_bvt::rounding_mode_bitst::round_to_plus_inf

Definition at line 105 of file float_bv.h.

round_to_zero

exprt float_bvt::rounding_mode_bitst::round_to_zero

Definition at line 104 of file float_bv.h.

---

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

• solvers/floatbv/float_bv.h
• solvers/floatbv/float_bv.cpp