CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
fixedbv_spect Class Reference

#include <fixedbv.h>

Public Member Functions

 
  fixedbv_spect (std::size_t _width, std::size_t _integer_bits)
 
 
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_typettype )
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:

AltStyle によって変換されたページ (->オリジナル) /