fixedbvt Member List

This is the complete list of members for fixedbvt, including all inherited members.

fixedbvt()	fixedbvt	inline
fixedbvt(const fixedbv_spect &_spec)	fixedbvt	inlineexplicit
fixedbvt(const constant_exprt &expr)	fixedbvt	explicit
format(const format_spect &format_spec) const	fixedbvt
from_expr(const constant_exprt &expr)	fixedbvt
from_integer(const mp_integer &i)	fixedbvt
get_value() const	fixedbvt	inline
is_zero() const	fixedbvt	inline
negate()	fixedbvt
operator!=(const fixedbvt &other) const	fixedbvt	inline
operator*=(const fixedbvt &other)	fixedbvt
operator+=(const fixedbvt &other)	fixedbvt
operator-=(const fixedbvt &other)	fixedbvt
operator/=(const fixedbvt &other)	fixedbvt
operator<(const fixedbvt &other) const	fixedbvt	inline
operator<=(const fixedbvt &other) const	fixedbvt	inline
operator==(int i) const	fixedbvt
operator==(const fixedbvt &other) const	fixedbvt	inline
operator>(const fixedbvt &other) const	fixedbvt	inline
operator>=(const fixedbvt &other) const	fixedbvt	inline
round(const fixedbv_spect &dest_spec)	fixedbvt
set_value(const mp_integer &_v)	fixedbvt	inline
spec	fixedbvt
to_ansi_c_string() const	fixedbvt	inline
to_expr() const	fixedbvt
to_integer() const	fixedbvt
v	fixedbvt	protected
zero(const fixedbv_typet &type)	fixedbvt	inlinestatic