ieee_float_spect Class Reference

#include <ieee_float.h>

Public Member Functions
BigInt	bias () const
	ieee_float_spect (const floatbv_typet &type)
	ieee_float_spect (const floatbv_type2t &type)
	ieee_float_spect ()
	ieee_float_spect (unsigned _f, unsigned _e)
unsigned	width () const
type2tc	get_type () const
BigInt	max_exponent () const
BigInt	max_fraction () const
floatbv_typet	to_type () const

Static Public Member Functions
static ieee_float_spect	single_precision ()
static ieee_float_spect	double_precision ()
static ieee_float_spect	quadruple_precision ()

Public Attributes
unsigned	f
unsigned	e

Friends
bool	operator== (const ieee_float_spect &a, const ieee_float_spect &b)
bool	operator!= (const ieee_float_spect &a, const ieee_float_spect &b)

Constructor & Destructor Documentation

ieee_float_spect() [1/4]

ieee_float_spect::ieee_float_spect

(

const floatbv_typet &

type

)

ieee_float_spect() [2/4]

ieee_float_spect::ieee_float_spect

(

const floatbv_type2t &

type

)

ieee_float_spect() [3/4]

ieee_float_spect::ieee_float_spect ( )

inline

ieee_float_spect() [4/4]

ieee_float_spect::ieee_float_spect ( unsigned _f, unsigned _e )

inline

Member Function Documentation

bias()

BigInt ieee_float_spect::bias

(

)

const

double_precision()

ieee_float_spect ieee_float_spect::double_precision ( )

inlinestatic

get_type()

type2tc ieee_float_spect::get_type

(

)

const

max_exponent()

BigInt ieee_float_spect::max_exponent

(

)

const

max_fraction()

BigInt ieee_float_spect::max_fraction

(

)

const

quadruple_precision()

ieee_float_spect ieee_float_spect::quadruple_precision ( )

inlinestatic

single_precision()

ieee_float_spect ieee_float_spect::single_precision ( )

inlinestatic

to_type()

floatbv_typet ieee_float_spect::to_type

(

)

const

width()

unsigned ieee_float_spect::width ( ) const

inline

Friends And Related Symbol Documentation

operator!=

bool operator!= ( const ieee_float_spect & a, const ieee_float_spect & b )

friend

operator==

bool operator== ( const ieee_float_spect & a, const ieee_float_spect & b )

friend

Member Data Documentation

e

unsigned ieee_float_spect::e

f

unsigned ieee_float_spect::f

---

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

• src/util/arith/ieee_float.h
• src/util/arith/ieee_float.cpp