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

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