cprover
Loading...
Searching...
No Matches
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: