CBMC
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 22 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 35 of file ieee_float.h.

◆ ieee_float_spect() [2/3]

ieee_float_spect::ieee_float_spect ( )
inline

Definition at line 42 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 46 of file ieee_float.h.

Member Function Documentation

◆ bias()

mp_integer ieee_float_spect::bias ( ) const

Definition at line 19 of file ieee_float.cpp.

◆ double_precision()

static ieee_float_spect ieee_float_spect::double_precision ( )
inlinestatic

Definition at line 77 of file ieee_float.h.

◆ from_type()

void ieee_float_spect::from_type ( const floatbv_typet &  type)

Definition at line 44 of file ieee_float.cpp.

◆ half_precision()

static ieee_float_spect ieee_float_spect::half_precision ( )
inlinestatic

Definition at line 64 of file ieee_float.h.

◆ max_exponent()

mp_integer ieee_float_spect::max_exponent ( ) const

Definition at line 34 of file ieee_float.cpp.

◆ max_fraction()

mp_integer ieee_float_spect::max_fraction ( ) const

Definition at line 39 of file ieee_float.cpp.

◆ operator!=()

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

Definition at line 110 of file ieee_float.h.

◆ operator==()

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

Definition at line 105 of file ieee_float.h.

◆ quadruple_precision()

static ieee_float_spect ieee_float_spect::quadruple_precision ( )
inlinestatic

Definition at line 83 of file ieee_float.h.

◆ single_precision()

static ieee_float_spect ieee_float_spect::single_precision ( )
inlinestatic

Definition at line 71 of file ieee_float.h.

◆ to_type()

floatbv_typet ieee_float_spect::to_type ( ) const

Definition at line 24 of file ieee_float.cpp.

◆ width()

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

Definition at line 51 of file ieee_float.h.

◆ x86_80()

static ieee_float_spect ieee_float_spect::x86_80 ( )
inlinestatic

Definition at line 89 of file ieee_float.h.

◆ x86_96()

static ieee_float_spect ieee_float_spect::x86_96 ( )
inlinestatic

Definition at line 97 of file ieee_float.h.

Member Data Documentation

◆ e

std::size_t ieee_float_spect::e

Definition at line 27 of file ieee_float.h.

◆ f

std::size_t ieee_float_spect::f

Definition at line 27 of file ieee_float.h.

◆ x86_extended

bool ieee_float_spect::x86_extended

Definition at line 31 of file ieee_float.h.

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