fixedbvt Member List

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

fixedbvt()	fixedbvt
fixedbvt(const fixedbv_spect &s)	fixedbvt
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 BigInt &i)	fixedbvt
get_sign() const	fixedbvt	inline
get_value() const	fixedbvt	inline
is_finite() const	fixedbvt	inline
is_infinity() const	fixedbvt	inline
is_NaN() const	fixedbvt	inline
is_negative() const	fixedbvt	inline
is_normal() const	fixedbvt	inline
is_zero() const	fixedbvt	inline
negate()	fixedbvt
operator!=(const fixedbvt &a, const fixedbvt &b)	fixedbvt	friend
operator%=(const fixedbvt &other)	fixedbvt
operator*=(const fixedbvt &other)	fixedbvt
operator+=(const fixedbvt &other)	fixedbvt
operator-()	fixedbvt
operator-=(const fixedbvt &other)	fixedbvt
operator/=(const fixedbvt &other)	fixedbvt
operator<(const fixedbvt &a, const fixedbvt &b)	fixedbvt	friend
operator<(const fixedbvt &a, int i)	fixedbvt	friend
operator<=(const fixedbvt &a, const fixedbvt &b)	fixedbvt	friend
operator<=(const fixedbvt &a, int i)	fixedbvt	friend
operator==(int i) const	fixedbvt
operator==(const fixedbvt &a, const fixedbvt &b)	fixedbvt	friend
operator>(const fixedbvt &a, const fixedbvt &b)	fixedbvt	friend
operator>(const fixedbvt &a, int i)	fixedbvt	friend
operator>=(const fixedbvt &a, const fixedbvt &b)	fixedbvt	friend
operator>=(const fixedbvt &a, int i)	fixedbvt	friend
round(const fixedbv_spect &dest_spec)	fixedbvt
set_value(const BigInt &_v)	fixedbvt	inline
spec	fixedbvt
to_ansi_c_string() const	fixedbvt	inline
to_expr() const	fixedbvt
to_integer() const	fixedbvt
v	fixedbvt	protected