Home Original page

CBMC: fixedbvt Class Reference

#include <fixedbv.h>

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)
 

Definition at line 41 of file fixedbv.h.

◆ fixedbvt() [1/3]

fixedbvt::fixedbvt ( )
inline

◆ fixedbvt() [2/3]

◆ fixedbvt() [3/3]

◆ format()

◆ from_expr()

◆ from_integer()

◆ get_value()

◆ is_zero()

bool fixedbvt::is_zero ( ) const
inline

◆ negate()

void fixedbvt::negate ( )

◆ operator!=()

◆ operator*=()

◆ operator+=()

◆ operator-=()

◆ operator/=()

◆ operator<()

◆ operator<=()

◆ operator==() [1/2]

◆ operator==() [2/2]

bool fixedbvt::operator== ( int  i) const

◆ operator>()

◆ operator>=()

◆ round()

◆ set_value()

◆ to_ansi_c_string()

std::string fixedbvt::to_ansi_c_string ( ) const
inline

◆ to_expr()

◆ to_integer()

◆ zero()

◆ spec

◆ v

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