fixedbvt Class Reference

#include <fixedbv.h>

Collaboration diagram for fixedbvt:

Public Member Functions
	fixedbvt ()
	fixedbvt (const fixedbv_spect &_spec)
	fixedbvt (const constant_exprt &expr)
void	from_integer (const mp_integer &i)
mp_integer	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
void	negate ()
fixedbvt &	operator/= (const fixedbvt &other)
fixedbvt &	operator*= (const fixedbvt &other)
fixedbvt &	operator+= (const fixedbvt &other)
fixedbvt &	operator-= (const fixedbvt &other)
bool	operator< (const fixedbvt &other) const
bool	operator<= (const fixedbvt &other) const
bool	operator> (const fixedbvt &other) const
bool	operator>= (const fixedbvt &other) const
bool	operator== (const fixedbvt &other) const
bool	operator!= (const fixedbvt &other) const
const mp_integer &	get_value () const
void	set_value (const mp_integer &_v)

Static Public Member Functions
static fixedbvt	zero (const fixedbv_typet &type)

Public Attributes
fixedbv_spect	spec

Protected Attributes
mp_integer	v

Detailed Description

Definition at line 41 of file fixedbv.h.

Constructor & Destructor Documentation

fixedbvt() [1/3]

fixedbvt::fixedbvt ( )

inline

Definition at line 46 of file fixedbv.h.

fixedbvt() [2/3]

fixedbvt::fixedbvt ( const fixedbv_spect &  _spec )

inlineexplicit

Definition at line 50 of file fixedbv.h.

fixedbvt() [3/3]

fixedbvt::fixedbvt ( const constant_exprt &  expr )

explicit

Definition at line 21 of file fixedbv.cpp.

Member Function Documentation

format()

std::string fixedbvt::format

(

const format_spect &

format_spec

)

const

Definition at line 134 of file fixedbv.cpp.

from_expr()

void fixedbvt::from_expr

(

const constant_exprt &

expr

)

Definition at line 26 of file fixedbv.cpp.

from_integer()

void fixedbvt::from_integer

(

const mp_integer &

i

)

Definition at line 32 of file fixedbv.cpp.

get_value()

const mp_integer& fixedbvt::get_value ( ) const

inline

Definition at line 95 of file fixedbv.h.

is_zero()

bool fixedbvt::is_zero ( ) const

inline

Definition at line 71 of file fixedbv.h.

negate()

void fixedbvt::negate

(

)

Definition at line 90 of file fixedbv.cpp.

operator!=()

bool fixedbvt::operator!= ( const fixedbvt &  other ) const

inline

Definition at line 93 of file fixedbv.h.

operator*=()

fixedbvt & fixedbvt::operator*=

(

const fixedbvt &

other

)

Definition at line 95 of file fixedbv.cpp.

operator+=()

fixedbvt & fixedbvt::operator+=

(

const fixedbvt &

other

)

Definition at line 109 of file fixedbv.cpp.

operator-=()

fixedbvt & fixedbvt::operator-=

(

const fixedbvt &

other

)

Definition at line 115 of file fixedbv.cpp.

operator/=()

fixedbvt & fixedbvt::operator/=

(

const fixedbvt &

other

)

Definition at line 121 of file fixedbv.cpp.

operator<()

bool fixedbvt::operator< ( const fixedbvt &  other ) const

inline

Definition at line 88 of file fixedbv.h.

operator<=()

bool fixedbvt::operator<= ( const fixedbvt &  other ) const

inline

Definition at line 89 of file fixedbv.h.

operator==() [1/2]

bool fixedbvt::operator== ( const fixedbvt &  other ) const

inline

Definition at line 92 of file fixedbv.h.

operator==() [2/2]

bool fixedbvt::operator==

(

int

i

)

const

Definition at line 129 of file fixedbv.cpp.

operator>()

bool fixedbvt::operator> ( const fixedbvt &  other ) const

inline

Definition at line 90 of file fixedbv.h.

operator>=()

bool fixedbvt::operator>= ( const fixedbvt &  other ) const

inline

Definition at line 91 of file fixedbv.h.

round()

void fixedbvt::round

(

const fixedbv_spect &

dest_spec

)

Definition at line 52 of file fixedbv.cpp.

set_value()

void fixedbvt::set_value ( const mp_integer &  _v )

inline

Definition at line 96 of file fixedbv.h.

to_ansi_c_string()

std::string fixedbvt::to_ansi_c_string ( ) const

inline

Definition at line 62 of file fixedbv.h.

to_expr()

constant_exprt fixedbvt::to_expr

(

)

const

Definition at line 43 of file fixedbv.cpp.

to_integer()

mp_integer fixedbvt::to_integer

(

)

const

Definition at line 37 of file fixedbv.cpp.

zero()

static fixedbvt fixedbvt::zero ( const fixedbv_typet &  type )

inlinestatic

Definition at line 76 of file fixedbv.h.

Member Data Documentation

spec

fixedbv_spect fixedbvt::spec

Definition at line 44 of file fixedbv.h.

v

mp_integer fixedbvt::v

protected

Definition at line 100 of file fixedbv.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/fixedbv.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/fixedbv.cpp