ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
decimal.Decimal Class Reference

Public Member Functions

 __init__ (self, int sign, int int_val, int exp, int is_special)
bool __eq__ (self, "Decimal" other)
bool __lt__ (self, "Decimal" other)
bool __le__ (self, "Decimal" other)
bool __gt__ (self, "Decimal" other)
bool __ge__ (self, "Decimal" other)
"Decimal" __neg__ (self)
"Decimal" __abs__ (self)
bool __ne__ (self, "Decimal" other)
"Decimal" __add__ (self, "Decimal" other)
"Decimal" __sub__ (self, "Decimal" other)
"Decimal" __mul__ (self, "Decimal" other)
"Decimal" __truediv__ (self, "Decimal" other)
"Decimal" __floordiv__ (self, "Decimal" other)
"Decimal" __mod__ (self, "Decimal" other)
"Decimal" __pos__ (self)
bool is_nan (self)
bool is_snan (self)
bool is_qnan (self)
bool is_infinite (self)
bool is_finite (self)
bool is_zero (self)
bool is_signed (self)
"Decimal" copy_abs (self)
"Decimal" copy_negate (self)
"Decimal" copy_sign (self, "Decimal" other)
int adjusted (self)
bool is_normal (self)
bool is_subnormal (self)
"Decimal" compare (self, "Decimal" other)
"Decimal" compare_signal (self, "Decimal" other)
"Decimal" max (self, "Decimal" other)
"Decimal" min (self, "Decimal" other)
bool __bool__ (self)
int __int__ (self)

Protected Member Functions

int _digit_count (self)

Static Protected Member Functions

"Decimal" _from_int (int n)

Static Protected Attributes

int _sign = 0
int _int = 0
int _exp = 0
int _is_special = 0

Constructor & Destructor Documentation

◆ __init__()

decimal.Decimal.__init__ ( self,
int sign,
int int_val,
int exp,
int is_special )

Member Function Documentation

◆ __abs__()

"Decimal" decimal.Decimal.__abs__ ( self)

◆ __add__()

"Decimal" decimal.Decimal.__add__ ( self,
"Decimal" other )

◆ __bool__()

bool decimal.Decimal.__bool__ ( self)

◆ __eq__()

bool decimal.Decimal.__eq__ ( self,
"Decimal" other )

◆ __floordiv__()

"Decimal" decimal.Decimal.__floordiv__ ( self,
"Decimal" other )

◆ __ge__()

bool decimal.Decimal.__ge__ ( self,
"Decimal" other )

◆ __gt__()

bool decimal.Decimal.__gt__ ( self,
"Decimal" other )

◆ __int__()

int decimal.Decimal.__int__ ( self)

◆ __le__()

bool decimal.Decimal.__le__ ( self,
"Decimal" other )

◆ __lt__()

bool decimal.Decimal.__lt__ ( self,
"Decimal" other )

◆ __mod__()

"Decimal" decimal.Decimal.__mod__ ( self,
"Decimal" other )

◆ __mul__()

"Decimal" decimal.Decimal.__mul__ ( self,
"Decimal" other )

◆ __ne__()

bool decimal.Decimal.__ne__ ( self,
"Decimal" other )

◆ __neg__()

"Decimal" decimal.Decimal.__neg__ ( self)

◆ __pos__()

"Decimal" decimal.Decimal.__pos__ ( self)

◆ __sub__()

"Decimal" decimal.Decimal.__sub__ ( self,
"Decimal" other )

◆ __truediv__()

"Decimal" decimal.Decimal.__truediv__ ( self,
"Decimal" other )

◆ _digit_count()

int decimal.Decimal._digit_count ( self)
protected

◆ _from_int()

"Decimal" decimal.Decimal._from_int ( int n)
staticprotected

◆ adjusted()

int decimal.Decimal.adjusted ( self)

◆ compare()

"Decimal" decimal.Decimal.compare ( self,
"Decimal" other )

◆ compare_signal()

"Decimal" decimal.Decimal.compare_signal ( self,
"Decimal" other )

◆ copy_abs()

"Decimal" decimal.Decimal.copy_abs ( self)

◆ copy_negate()

"Decimal" decimal.Decimal.copy_negate ( self)

◆ copy_sign()

"Decimal" decimal.Decimal.copy_sign ( self,
"Decimal" other )

◆ is_finite()

bool decimal.Decimal.is_finite ( self)

◆ is_infinite()

bool decimal.Decimal.is_infinite ( self)

◆ is_nan()

bool decimal.Decimal.is_nan ( self)

◆ is_normal()

bool decimal.Decimal.is_normal ( self)

◆ is_qnan()

bool decimal.Decimal.is_qnan ( self)

◆ is_signed()

bool decimal.Decimal.is_signed ( self)

◆ is_snan()

bool decimal.Decimal.is_snan ( self)

◆ is_subnormal()

bool decimal.Decimal.is_subnormal ( self)

◆ is_zero()

bool decimal.Decimal.is_zero ( self)

◆ max()

"Decimal" decimal.Decimal.max ( self,
"Decimal" other )

◆ min()

"Decimal" decimal.Decimal.min ( self,
"Decimal" other )

Member Data Documentation

◆ _exp

decimal.Decimal._exp = 0
staticprotected

◆ _int

decimal.Decimal._int = 0
staticprotected

◆ _is_special

decimal.Decimal._is_special = 0
staticprotected

◆ _sign

decimal.Decimal._sign = 0
staticprotected

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