CBMC
Public Member Functions | Public Attributes | List of all members
bv_spect Class Reference

#include <bv_arithmetic.h>

Public Member Functions

 bv_spect (const typet &type)
 
void from_type (const typet &type)
 
 bv_spect ()
 
mp_integer max_value () const
 
mp_integer min_value () const
 
typet to_type () const
 
bool operator== (const bv_spect &other) const
 

Public Attributes

std::size_t width
 
bool is_signed
 

Detailed Description

Definition at line 21 of file bv_arithmetic.h.

Constructor & Destructor Documentation

◆ bv_spect() [1/2]

bv_spect::bv_spect ( const typet &  type)
inlineexplicit

Definition at line 27 of file bv_arithmetic.h.

◆ bv_spect() [2/2]

bv_spect::bv_spect ( )
inline

Definition at line 34 of file bv_arithmetic.h.

Member Function Documentation

◆ from_type()

void bv_spect::from_type ( const typet &  type)

Definition at line 34 of file bv_arithmetic.cpp.

◆ max_value()

mp_integer bv_spect::max_value ( ) const

Definition at line 22 of file bv_arithmetic.cpp.

◆ min_value()

mp_integer bv_spect::min_value ( ) const

Definition at line 28 of file bv_arithmetic.cpp.

◆ operator==()

bool bv_spect::operator== ( const bv_spect &  other) const
inline

Definition at line 43 of file bv_arithmetic.h.

◆ to_type()

typet bv_spect::to_type ( ) const

Definition at line 15 of file bv_arithmetic.cpp.

Member Data Documentation

◆ is_signed

bool bv_spect::is_signed

Definition at line 25 of file bv_arithmetic.h.

◆ width

std::size_t bv_spect::width

Definition at line 24 of file bv_arithmetic.h.

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