CBMC
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | Protected Attributes | List of all members
fixedbvt Class Reference

#include <fixedbv.h>

+ Collaboration diagram for fixedbvt:

Public Member Functions

  fixedbvt ()
 
 
 
 
 
 
 
 
std::string  to_ansi_c_string () const
 
 
 
 
void  negate ()
 
 
 
 
 
 
 
 
 
 
 
 
 

Static Public Member Functions

 

Public Attributes

 

Protected Attributes

 

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_exprtexpr )
explicit

Definition at line 21 of file fixedbv.cpp.

Member Function Documentation

◆  format()

std::string fixedbvt::format ( const format_spectformat_spec ) const

Definition at line 134 of file fixedbv.cpp.

◆  from_expr()

void fixedbvt::from_expr ( const constant_exprtexpr )

Definition at line 26 of file fixedbv.cpp.

◆  from_integer()

void fixedbvt::from_integer ( const mp_integeri )

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 fixedbvtother ) const
inline

Definition at line 93 of file fixedbv.h.

◆  operator*=()

fixedbvt & fixedbvt::operator*= ( const fixedbvtother )

Definition at line 95 of file fixedbv.cpp.

◆  operator+=()

fixedbvt & fixedbvt::operator+= ( const fixedbvtother )

Definition at line 109 of file fixedbv.cpp.

◆  operator-=()

fixedbvt & fixedbvt::operator-= ( const fixedbvtother )

Definition at line 115 of file fixedbv.cpp.

◆  operator/=()

fixedbvt & fixedbvt::operator/= ( const fixedbvtother )

Definition at line 121 of file fixedbv.cpp.

◆  operator<()

bool fixedbvt::operator< ( const fixedbvtother ) const
inline

Definition at line 88 of file fixedbv.h.

◆  operator<=()

bool fixedbvt::operator<= ( const fixedbvtother ) const
inline

Definition at line 89 of file fixedbv.h.

◆  operator==() [1/2]

bool fixedbvt::operator== ( const fixedbvtother ) 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 fixedbvtother ) const
inline

Definition at line 90 of file fixedbv.h.

◆  operator>=()

bool fixedbvt::operator>= ( const fixedbvtother ) const
inline

Definition at line 91 of file fixedbv.h.

◆  round()

void fixedbvt::round ( const fixedbv_spectdest_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_typettype )
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:

AltStyle によって変換されたページ (->オリジナル) /