cprover
|
#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 |
Definition at line 21 of file bv_arithmetic.h.
|
inlineexplicit |
Definition at line 27 of file bv_arithmetic.h.
References from_type().
|
inline |
Definition at line 34 of file bv_arithmetic.h.
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, UNREACHABLE, unsafe_string2unsigned(), and width.
Referenced by bv_spect().
mp_integer bv_spect::max_value | ( | ) | const |
Definition at line 26 of file bv_arithmetic.cpp.
mp_integer bv_spect::min_value | ( | ) | const |
Definition at line 32 of file bv_arithmetic.cpp.
|
inline |
Definition at line 43 of file bv_arithmetic.h.
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().
bool bv_spect::is_signed |
Definition at line 25 of file bv_arithmetic.h.
Referenced by bv_arithmetict::from_expr(), from_type(), max_value(), min_value(), operator==(), and to_type().
std::size_t bv_spect::width |
Definition at line 24 of file bv_arithmetic.h.
Referenced by bv_arithmetict::adjust(), from_type(), max_value(), min_value(), operator==(), bv_arithmetict::pack(), bv_arithmetict::to_expr(), and to_type().