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 half_precision ()
 
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 25 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 38 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 49 of file ieee_float.h.

Member Function Documentation

◆ bias()

◆ double_precision()

◆ from_type()

void ieee_float_spect::from_type ( const floatbv_typet type)

◆ half_precision()

static ieee_float_spect ieee_float_spect::half_precision ( )
inlinestatic

Definition at line 67 of file ieee_float.h.

References ieee_float_spect().

Referenced by gcc_float16_type().

◆ max_exponent()

mp_integer ieee_float_spect::max_exponent ( ) const

◆ max_fraction()

mp_integer ieee_float_spect::max_fraction ( ) const

Definition at line 41 of file ieee_float.cpp.

References f, and power().

◆ operator!=()

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

Definition at line 113 of file ieee_float.h.

◆ operator==()

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

Definition at line 108 of file ieee_float.h.

References e, f, and x86_extended.

◆ 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 92 of file ieee_float.h.

References x86_extended.

◆ x86_96()

static ieee_float_spect ieee_float_spect::x86_96 ( )
inlinestatic

Definition at line 100 of file ieee_float.h.

References x86_extended.

Member Data Documentation

◆ e

◆ f

◆ x86_extended

bool ieee_float_spect::x86_extended

Definition at line 34 of file ieee_float.h.

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


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