cprover
float_bvt::rounding_mode_bitst Struct Reference

#include <float_bv.h>

Collaboration diagram for float_bvt::rounding_mode_bitst:
[legend]

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 117 of file float_bv.h.

Constructor & Destructor Documentation

§ rounding_mode_bitst()

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

Member Function Documentation

§ get()

void float_bvt::rounding_mode_bitst::get ( const exprt rm)

Member Data Documentation

§ round_to_even

exprt float_bvt::rounding_mode_bitst::round_to_even

Definition at line 121 of file float_bv.h.

Referenced by float_bvt::fraction_rounding_decision(), and float_bvt::round_exponent().

§ round_to_minus_inf

exprt float_bvt::rounding_mode_bitst::round_to_minus_inf

§ round_to_plus_inf

exprt float_bvt::rounding_mode_bitst::round_to_plus_inf

Definition at line 123 of file float_bv.h.

Referenced by float_bvt::fraction_rounding_decision(), and float_bvt::round_exponent().

§ round_to_zero

exprt float_bvt::rounding_mode_bitst::round_to_zero

Definition at line 122 of file float_bv.h.

Referenced by float_bvt::fraction_rounding_decision().


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