CBMC
Public Member Functions | Public Attributes | List of all members
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
 

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 29 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 37 of file float_utils.h.

Member Data Documentation

◆ 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: