fixedbv_spect Class Reference

#include <fixedbv.h>

Public Member Functions
	fixedbv_spect ()
	fixedbv_spect (unsigned _width, unsigned _integer_bits)
	fixedbv_spect (const fixedbv_typet &type)
	fixedbv_spect (const fixedbv_type2t &type)
unsigned	get_fraction_bits () const
type2tc	get_type () const

Public Attributes
unsigned	integer_bits
unsigned	width

Constructor & Destructor Documentation

fixedbv_spect() [1/4]

fixedbv_spect::fixedbv_spect ( )

inline

fixedbv_spect() [2/4]

fixedbv_spect::fixedbv_spect ( unsigned _width, unsigned _integer_bits )

inline

fixedbv_spect() [3/4]

fixedbv_spect::fixedbv_spect

(

const fixedbv_typet &

type

)

fixedbv_spect() [4/4]

fixedbv_spect::fixedbv_spect

(

const fixedbv_type2t &

type

)

Member Function Documentation

get_fraction_bits()

unsigned fixedbv_spect::get_fraction_bits ( ) const

inline

get_type()

type2tc fixedbv_spect::get_type

(

)

const

Member Data Documentation

integer_bits

unsigned fixedbv_spect::integer_bits

width

unsigned fixedbv_spect::width

---

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

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