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:

[フレーム]

[legend]

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/cbmc/src/util/fixedbv.h
/home/runner/work/cbmc/cbmc/src/util/fixedbv.cpp