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

Public Member Functions

None __init__ (self)

Public Attributes

float max = 1.7976931348623157e+308
int max_exp = 1024
int max_10_exp = 308
float min = 2.2250738585072014e-308
int min_exp = -1021
int min_10_exp = -307
int dig = 15
int mant_dig = 53
float epsilon = 2.220446049250313e-16
int radix = 2
int rounds = 1

Static Public Attributes

_FloatInfo float_info = _FloatInfo()
int maxsize = 9223372036854775807
int maxunicode = 1114111
str byteorder = "little"
str platform = "linux"
list argv = [""]

Detailed Description

sys.float_info — IEEE-754 binary64 limits.

Constructor & Destructor Documentation

◆ __init__()

None sys._FloatInfo.__init__ ( self)

Member Data Documentation

◆ argv

list sys._FloatInfo.argv = [""]
static

◆ byteorder

str sys._FloatInfo.byteorder = "little"
static

◆ dig

int sys._FloatInfo.dig = 15

◆ epsilon

float sys._FloatInfo.epsilon = 2.220446049250313e-16

◆ float_info

_FloatInfo sys._FloatInfo.float_info = _FloatInfo()
static

◆ mant_dig

int sys._FloatInfo.mant_dig = 53

◆ max

float sys._FloatInfo.max = 1.7976931348623157e+308

◆ max_10_exp

int sys._FloatInfo.max_10_exp = 308

◆ max_exp

int sys._FloatInfo.max_exp = 1024

◆ maxsize

int sys._FloatInfo.maxsize = 9223372036854775807
static

◆ maxunicode

int sys._FloatInfo.maxunicode = 1114111
static

◆ min

float sys._FloatInfo.min = 2.2250738585072014e-308

◆ min_10_exp

int sys._FloatInfo.min_10_exp = -307

◆ min_exp

int sys._FloatInfo.min_exp = -1021

◆ platform

str sys._FloatInfo.platform = "linux"
static

◆ radix

int sys._FloatInfo.radix = 2

◆ rounds

int sys._FloatInfo.rounds = 1

The documentation for this class was generated from the following file:
  • src/python-frontend/models/sys.py