CBMC: fixedbv_spect Class Reference

#include <fixedbv.h>

Public Member Functions
	fixedbv_spect ()

	fixedbv_spect (std::size_t _width, std::size_t _integer_bits)

	fixedbv_spect (const fixedbv_typet &type)

std::size_t	get_fraction_bits () const

Definition at line 19 of file fixedbv.h.

fixedbv_spect::fixedbv_spect

(

)

inline

◆ fixedbv_spect() [2/3]

inline

std::size_t fixedbv_spect::get_fraction_bits

(

)

const

inline

std::size_t fixedbv_spect::integer_bits

std::size_t fixedbv_spect::width

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