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.

ieee_float_spect() [2/3]

ieee_float_spect::ieee_float_spect ( )

inline

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

Member Function Documentation

bias()

mp_integer ieee_float_spect::bias

(

)

const

Definition at line 21 of file ieee_float.cpp.

double_precision()

static ieee_float_spect ieee_float_spect::double_precision ( )

inlinestatic

Definition at line 80 of file ieee_float.h.

from_type()

void ieee_float_spect::from_type

(

const floatbv_typet &

type

)

Definition at line 46 of file ieee_float.cpp.

half_precision()

static ieee_float_spect ieee_float_spect::half_precision ( )

inlinestatic

Definition at line 67 of file ieee_float.h.

max_exponent()

mp_integer ieee_float_spect::max_exponent

(

)

const

Definition at line 36 of file ieee_float.cpp.

max_fraction()

mp_integer ieee_float_spect::max_fraction

(

)

const

Definition at line 41 of file ieee_float.cpp.

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.

quadruple_precision()

static ieee_float_spect ieee_float_spect::quadruple_precision ( )

inlinestatic

Definition at line 86 of file ieee_float.h.

single_precision()

static ieee_float_spect ieee_float_spect::single_precision ( )

inlinestatic

Definition at line 74 of file ieee_float.h.

to_type()

floatbv_typet ieee_float_spect::to_type

(

)

const

Definition at line 26 of file ieee_float.cpp.

width()

std::size_t ieee_float_spect::width ( ) const

inline

Definition at line 54 of file ieee_float.h.

x86_80()

static ieee_float_spect ieee_float_spect::x86_80 ( )

inlinestatic

Definition at line 92 of file ieee_float.h.

x86_96()

static ieee_float_spect ieee_float_spect::x86_96 ( )

inlinestatic

Definition at line 100 of file ieee_float.h.

Member Data Documentation

e

std::size_t ieee_float_spect::e

Definition at line 30 of file ieee_float.h.

f

std::size_t ieee_float_spect::f

Definition at line 30 of file ieee_float.h.

x86_extended

bool ieee_float_spect::x86_extended

Definition at line 34 of file ieee_float.h.

---

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

• util/ieee_float.h
• util/ieee_float.cpp