cprover
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

Member Function Documentation

◆ get_fraction_bits()

Member Data Documentation

◆ integer_bits

◆ width


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