cprover
|
#include <bv_arithmetic.h>
Public Attributes | |
bv_spect | spec |
Protected Member Functions | |
void | adjust () |
Protected Attributes | |
mp_integer | value |
Definition at line 50 of file bv_arithmetic.h.
|
inlineexplicit |
Definition at line 55 of file bv_arithmetic.h.
|
inline |
Definition at line 60 of file bv_arithmetic.h.
|
inlineexplicit |
Definition at line 64 of file bv_arithmetic.h.
|
protected |
Definition at line 69 of file bv_arithmetic.cpp.
void bv_arithmetict::change_spec | ( | const bv_spect & | dest_spec | ) |
Definition at line 177 of file bv_arithmetic.cpp.
std::string bv_arithmetict::format | ( | const format_spect & | format_spec | ) | const |
Definition at line 54 of file bv_arithmetic.cpp.
void bv_arithmetict::from_expr | ( | const constant_exprt & | expr | ) |
Definition at line 183 of file bv_arithmetic.cpp.
void bv_arithmetict::from_integer | ( | const mp_integer & | i | ) |
Definition at line 63 of file bv_arithmetic.cpp.
|
inline |
Definition at line 76 of file bv_arithmetic.h.
|
inline |
Definition at line 71 of file bv_arithmetic.h.
void bv_arithmetict::negate | ( | ) |
bool bv_arithmetict::operator!= | ( | const bv_arithmetict & | other | ) |
Definition at line 172 of file bv_arithmetic.cpp.
bv_arithmetict & bv_arithmetict::operator%= | ( | const bv_arithmetict & | other | ) |
Definition at line 132 of file bv_arithmetic.cpp.
bv_arithmetict & bv_arithmetict::operator*= | ( | const bv_arithmetict & | other | ) |
Definition at line 102 of file bv_arithmetic.cpp.
bv_arithmetict & bv_arithmetict::operator+= | ( | const bv_arithmetict & | other | ) |
Definition at line 112 of file bv_arithmetic.cpp.
bv_arithmetict & bv_arithmetict::operator-= | ( | const bv_arithmetict & | other | ) |
Definition at line 122 of file bv_arithmetic.cpp.
bv_arithmetict & bv_arithmetict::operator/= | ( | const bv_arithmetict & | other | ) |
Definition at line 90 of file bv_arithmetic.cpp.
bool bv_arithmetict::operator< | ( | const bv_arithmetict & | other | ) |
Definition at line 142 of file bv_arithmetic.cpp.
|
inline |
Definition at line 112 of file bv_arithmetic.h.
bool bv_arithmetict::operator<= | ( | const bv_arithmetict & | other | ) |
Definition at line 147 of file bv_arithmetic.cpp.
bool bv_arithmetict::operator== | ( | const bv_arithmetict & | other | ) |
Definition at line 162 of file bv_arithmetic.cpp.
bool bv_arithmetict::operator== | ( | int | i | ) |
Definition at line 167 of file bv_arithmetic.cpp.
bool bv_arithmetict::operator> | ( | const bv_arithmetict & | other | ) |
Definition at line 152 of file bv_arithmetic.cpp.
bool bv_arithmetict::operator>= | ( | const bv_arithmetict & | other | ) |
Definition at line 157 of file bv_arithmetic.cpp.
mp_integer bv_arithmetict::pack | ( | ) | const |
Definition at line 78 of file bv_arithmetic.cpp.
void bv_arithmetict::print | ( | std::ostream & | out | ) | const |
Definition at line 49 of file bv_arithmetic.cpp.
|
inline |
Definition at line 87 of file bv_arithmetic.h.
constant_exprt bv_arithmetict::to_expr | ( | ) | const |
Definition at line 85 of file bv_arithmetic.cpp.
|
inline |
Definition at line 83 of file bv_arithmetic.h.
|
inline |
Definition at line 118 of file bv_arithmetic.h.
bv_spect bv_arithmetict::spec |
Definition at line 53 of file bv_arithmetic.h.
|
protected |
Definition at line 123 of file bv_arithmetic.h.