LisaacTM Platform

FLOAT_MAP


Mapping for REAL_xx.
Slot Summary
get_map
sign
TRUE if positif, FALSE else.
exponent
mantissa
 
Consultation.
is_infinite
is_nan
is_zero
 
Format.
mantissa_bits
exponent_bits
 

Detail slot

get_map

.../base/number/low_level/float_map.li line #13

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFget_map   f : SELF

sign

.../base/number/low_level/float_map.li line #18

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFsign : BOOLEAN

Description:
TRUE if positif, FALSE else.

exponent

.../base/number/low_level/float_map.li line #20

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFexponent : UINTEGER_32

mantissa

.../base/number/low_level/float_map.li line #22

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFmantissa : UINTEGER_64

Consultation.

is_infinite

.../base/number/low_level/float_map.li line #28

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFis_infinite : BOOLEAN

is_nan

.../base/number/low_level/float_map.li line #31

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFis_nan : BOOLEAN

is_zero

.../base/number/low_level/float_map.li line #34

Section:
REAL, REAL_32, REAL_64, REAL_80

Profile:
- SelfSELFis_zero : BOOLEAN

Format.

mantissa_bits

.../base/number/low_level/float_map.li line #42

Section:
Public

Profile:
- SelfSELFmantissa_bits : INTEGER_8

exponent_bits

.../base/number/low_level/float_map.li line #44

Section:
Public

Profile:
- SelfSELFexponent_bits : INTEGER_8