cprover
ieee_float_spect Class Reference

#include <ieee_float.h>

Public Member Functions

mp_integer bias () const
 
 ieee_float_spect (const floatbv_typet &type)
 
void from_type (const floatbv_typet &type)
 
 ieee_float_spect ()
 
 ieee_float_spect (std::size_t _f, std::size_t _e)
 
std::size_t width () const
 
mp_integer max_exponent () const
 
mp_integer max_fraction () const
 
class floatbv_typet to_type () const
 
bool operator== (const ieee_float_spect &other) const
 
bool operator!= (const ieee_float_spect &other) const
 

Static Public Member Functions

static ieee_float_spect single_precision ()
 
static ieee_float_spect double_precision ()
 
static ieee_float_spect quadruple_precision ()
 
static ieee_float_spect x86_80 ()
 
static ieee_float_spect x86_96 ()
 

Public Attributes

std::size_t f
 
std::size_t e
 
bool x86_extended
 

Detailed Description

Definition at line 21 of file ieee_float.h.

Constructor & Destructor Documentation

§ ieee_float_spect() [1/3]

ieee_float_spect::ieee_float_spect ( const floatbv_typet type)
inlineexplicit

Definition at line 34 of file ieee_float.h.

References from_type().

§ ieee_float_spect() [2/3]

ieee_float_spect::ieee_float_spect ( )
inline

§ ieee_float_spect() [3/3]

ieee_float_spect::ieee_float_spect ( std::size_t  _f,
std::size_t  _e 
)
inline

Definition at line 45 of file ieee_float.h.

Member Function Documentation

§ bias()

§ double_precision()

§ from_type()

void ieee_float_spect::from_type ( const floatbv_typet type)

§ max_exponent()

mp_integer ieee_float_spect::max_exponent ( ) const

Definition at line 36 of file ieee_float.cpp.

References e, and power().

Referenced by float_bvt::round_exponent(), float_utilst::round_exponent(), and width().

§ max_fraction()

mp_integer ieee_float_spect::max_fraction ( ) const

Definition at line 41 of file ieee_float.cpp.

References f, and power().

Referenced by width().

§ operator!=()

bool ieee_float_spect::operator!= ( const ieee_float_spect other) const
inline

Definition at line 102 of file ieee_float.h.

Referenced by ieee_floatt::to_ansi_c_string().

§ operator==()

bool ieee_float_spect::operator== ( const ieee_float_spect other) const
inline

Definition at line 97 of file ieee_float.h.

References e, f, and x86_extended.

Referenced by ieee_floatt::to_ansi_c_string().

§ quadruple_precision()

static ieee_float_spect ieee_float_spect::quadruple_precision ( )
inlinestatic

§ single_precision()

§ to_type()

§ width()

§ x86_80()

static ieee_float_spect ieee_float_spect::x86_80 ( )
inlinestatic

Definition at line 81 of file ieee_float.h.

References x86_extended.

§ x86_96()

static ieee_float_spect ieee_float_spect::x86_96 ( )
inlinestatic

Definition at line 89 of file ieee_float.h.

References x86_extended.

Member Data Documentation

§ e

§ f

§ x86_extended

bool ieee_float_spect::x86_extended

Definition at line 30 of file ieee_float.h.

Referenced by from_type(), operator==(), to_type(), x86_80(), and x86_96().


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