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
 

Public Attributes

std::size_t integer_bits
 
std::size_t width
 

Detailed Description

Definition at line 19 of file fixedbv.h.

Constructor & Destructor Documentation

◆ fixedbv_spect() [1/3]

fixedbv_spect::fixedbv_spect ( )
inline

Definition at line 24 of file fixedbv.h.

◆ fixedbv_spect() [2/3]

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

Definition at line 28 of file fixedbv.h.

◆ fixedbv_spect() [3/3]

fixedbv_spect::fixedbv_spect ( const fixedbv_typet type)
explicit

Definition at line 15 of file fixedbv.cpp.

Member Function Documentation

◆ get_fraction_bits()

std::size_t fixedbv_spect::get_fraction_bits ( ) const
inline

Definition at line 35 of file fixedbv.h.

Member Data Documentation

◆ integer_bits

std::size_t fixedbv_spect::integer_bits

Definition at line 22 of file fixedbv.h.

◆ width

std::size_t fixedbv_spect::width

Definition at line 22 of file fixedbv.h.


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