fixedbvt Class Reference

#include <fixedbv.h>

Public Member Functions
	fixedbvt ()
	fixedbvt (const fixedbv_spect &s)
	fixedbvt (const constant_exprt &expr)
void	from_integer (const BigInt &i)
BigInt	to_integer () const
void	from_expr (const constant_exprt &expr)
constant_exprt	to_expr () const
void	round (const fixedbv_spect &dest_spec)
std::string	to_ansi_c_string () const
std::string	format (const format_spect &format_spec) const
bool	operator== (int i) const
bool	is_zero () const
bool	is_negative () const
bool	get_sign () const
bool	is_NaN () const
bool	is_infinity () const
bool	is_finite () const
bool	is_normal () const
void	negate ()
fixedbvt &	operator/= (const fixedbvt &other)
fixedbvt &	operator%= (const fixedbvt &other)
fixedbvt &	operator*= (const fixedbvt &other)
fixedbvt &	operator+= (const fixedbvt &other)
fixedbvt &	operator-= (const fixedbvt &other)
fixedbvt &	operator- ()
const BigInt &	get_value () const
void	set_value (const BigInt &_v)

Public Attributes
fixedbv_spect	spec

Protected Attributes
BigInt	v

Friends
bool	operator< (const fixedbvt &a, const fixedbvt &b)
bool	operator<= (const fixedbvt &a, const fixedbvt &b)
bool	operator> (const fixedbvt &a, const fixedbvt &b)
bool	operator>= (const fixedbvt &a, const fixedbvt &b)
bool	operator== (const fixedbvt &a, const fixedbvt &b)
bool	operator!= (const fixedbvt &a, const fixedbvt &b)
bool	operator> (const fixedbvt &a, int i)
bool	operator< (const fixedbvt &a, int i)
bool	operator>= (const fixedbvt &a, int i)
bool	operator<= (const fixedbvt &a, int i)

Constructor & Destructor Documentation

fixedbvt() [1/3]

fixedbvt::fixedbvt

(

)

fixedbvt() [2/3]

fixedbvt::fixedbvt

(

const fixedbv_spect &

s

)

fixedbvt() [3/3]

fixedbvt::fixedbvt ( const constant_exprt & expr )

explicit

Member Function Documentation

format()

std::string fixedbvt::format

(

const format_spect &

format_spec

)

const

from_expr()

void fixedbvt::from_expr

(

const constant_exprt &

expr

)

from_integer()

void fixedbvt::from_integer

(

const BigInt &

i

)

get_sign()

bool fixedbvt::get_sign ( ) const

inline

get_value()

const BigInt & fixedbvt::get_value ( ) const

inline

is_finite()

bool fixedbvt::is_finite ( ) const

inline

is_infinity()

bool fixedbvt::is_infinity ( ) const

inline

is_NaN()

bool fixedbvt::is_NaN ( ) const

inline

is_negative()

bool fixedbvt::is_negative ( ) const

inline

is_normal()

bool fixedbvt::is_normal ( ) const

inline

is_zero()

bool fixedbvt::is_zero ( ) const

inline

negate()

void fixedbvt::negate

(

)

operator%=()

fixedbvt & fixedbvt::operator%=

(

const fixedbvt &

other

)

operator*=()

fixedbvt & fixedbvt::operator*=

(

const fixedbvt &

other

)

operator+=()

fixedbvt & fixedbvt::operator+=

(

const fixedbvt &

other

)

operator-()

fixedbvt & fixedbvt::operator-

(

)

operator-=()

fixedbvt & fixedbvt::operator-=

(

const fixedbvt &

other

)

operator/=()

fixedbvt & fixedbvt::operator/=

(

const fixedbvt &

other

)

operator==()

bool fixedbvt::operator==

(

int

i

)

const

round()

void fixedbvt::round

(

const fixedbv_spect &

dest_spec

)

set_value()

void fixedbvt::set_value ( const BigInt & _v )

inline

to_ansi_c_string()

std::string fixedbvt::to_ansi_c_string ( ) const

inline

to_expr()

constant_exprt fixedbvt::to_expr

(

)

const

to_integer()

BigInt fixedbvt::to_integer

(

)

const

Friends And Related Symbol Documentation

operator!=

bool operator!= ( const fixedbvt & a, const fixedbvt & b )

friend

operator< [1/2]

bool operator< ( const fixedbvt & a, const fixedbvt & b )

friend

operator< [2/2]

bool operator< ( const fixedbvt & a, int i )

friend

operator<= [1/2]

bool operator<= ( const fixedbvt & a, const fixedbvt & b )

friend

operator<= [2/2]

bool operator<= ( const fixedbvt & a, int i )

friend

operator==

bool operator== ( const fixedbvt & a, const fixedbvt & b )

friend

operator> [1/2]

bool operator> ( const fixedbvt & a, const fixedbvt & b )

friend

operator> [2/2]

bool operator> ( const fixedbvt & a, int i )

friend

operator>= [1/2]

bool operator>= ( const fixedbvt & a, const fixedbvt & b )

friend

operator>= [2/2]

bool operator>= ( const fixedbvt & a, int i )

friend

Member Data Documentation

spec

fixedbv_spect fixedbvt::spec

v

BigInt fixedbvt::v

protected

---

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

• src/util/arith/fixedbv.h
• src/util/arith/fixedbv.cpp