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.

References max_value(), min_value(), and to_type().

Referenced by bv_arithmetict::from_expr().

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.

Referenced by bv_spect().

§ min_value()

mp_integer bv_spect::min_value ( ) const

Definition at line 32 of file bv_arithmetic.cpp.

References is_signed, power(), and width.

Referenced by bv_spect().

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

Referenced by bv_arithmetict::to_ansi_c_string().

§ 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_spect().

Member Data Documentation

§ is_signed

bool bv_spect::is_signed

Definition at line 25 of file bv_arithmetic.h.

Referenced by from_type(), max_value(), min_value(), operator==(), and to_type().

§ width

std::size_t bv_spect::width

Definition at line 24 of file bv_arithmetic.h.

Referenced by from_type(), max_value(), min_value(), operator==(), and to_type().


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