CBMC
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
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 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.

◆  ieee_float_spect() [2/3]

ieee_float_spect::ieee_float_spect ( )
inline

Definition at line 41 of file ieee_float.h.

◆  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()

mp_integer ieee_float_spect::bias ( ) const

Definition at line 20 of file ieee_float.cpp.

◆  double_precision()

static ieee_float_spect ieee_float_spect::double_precision ( )
inlinestatic

Definition at line 76 of file ieee_float.h.

◆  from_type()

void ieee_float_spect::from_type ( const floatbv_typet &  type )

Definition at line 45 of file ieee_float.cpp.

◆  half_precision()

static ieee_float_spect ieee_float_spect::half_precision ( )
inlinestatic

Definition at line 63 of file ieee_float.h.

◆  max_exponent()

mp_integer ieee_float_spect::max_exponent ( ) const

Definition at line 35 of file ieee_float.cpp.

◆  max_fraction()

mp_integer ieee_float_spect::max_fraction ( ) const

Definition at line 40 of file ieee_float.cpp.

◆  operator!=()

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

Definition at line 109 of file ieee_float.h.

◆  operator==()

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

Definition at line 104 of file ieee_float.h.

◆  quadruple_precision()

static ieee_float_spect ieee_float_spect::quadruple_precision ( )
inlinestatic

Definition at line 82 of file ieee_float.h.

◆  single_precision()

static ieee_float_spect ieee_float_spect::single_precision ( )
inlinestatic

Definition at line 70 of file ieee_float.h.

◆  to_type()

floatbv_typet ieee_float_spect::to_type ( ) const

Definition at line 25 of file ieee_float.cpp.

◆  width()

std::size_t ieee_float_spect::width ( ) const
inline

Definition at line 50 of file ieee_float.h.

◆  x86_80()

static ieee_float_spect ieee_float_spect::x86_80 ( )
inlinestatic

Definition at line 88 of file ieee_float.h.

◆  x86_96()

static ieee_float_spect ieee_float_spect::x86_96 ( )
inlinestatic

Definition at line 96 of file ieee_float.h.

Member Data Documentation

◆  e

std::size_t ieee_float_spect::e

Definition at line 26 of file ieee_float.h.

◆  f

std::size_t ieee_float_spect::f

Definition at line 26 of file ieee_float.h.

◆  x86_extended

bool ieee_float_spect::x86_extended

Definition at line 30 of file ieee_float.h.

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

AltStyle によって変換されたページ (->オリジナル) /