cprover
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.

References from_type().

◆ 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 38 of file bv_arithmetic.cpp.

References irept::get_string(), irept::id(), is_signed, unsafe_string2unsigned(), and width.

Referenced by bv_spect().

◆ max_value()

mp_integer bv_spect::max_value ( ) const

Definition at line 26 of file bv_arithmetic.cpp.

References is_signed, power(), and width.

◆ min_value()

mp_integer bv_spect::min_value ( ) const

Definition at line 32 of file bv_arithmetic.cpp.

References is_signed, power(), and width.

◆ operator==()

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

Definition at line 43 of file bv_arithmetic.h.

References is_signed, and width.

◆ to_type()

typet bv_spect::to_type ( ) const

Definition at line 19 of file bv_arithmetic.cpp.

References is_signed, and width.

Referenced by bv_arithmetict::to_expr().

Member Data Documentation

◆ is_signed

bool bv_spect::is_signed

◆ width


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