SoPlex Documentation
Loading...
Searching...
No Matches
float_info< float > Struct Reference

#include <format.h>

Public Types

using carrier_uint = uint32_t
 

Static Public Attributes

static const int significand_bits = 23
 
static const int exponent_bits = 8
 
static const int min_exponent = -126
 
static const int max_exponent = 127
 
static const int exponent_bias = -127
 
static const int decimal_digits = 9
 
static const int kappa = 1
 
static const int big_divisor = 100
 
static const int small_divisor = 10
 
static const int min_k = -31
 
static const int max_k = 46
 
static const int cache_bits = 64
 
static const int divisibility_check_by_5_threshold = 39
 
static const int case_fc_pm_half_lower_threshold = -1
 
static const int case_fc_pm_half_upper_threshold = 6
 
static const int case_fc_lower_threshold = -2
 
static const int case_fc_upper_threshold = 6
 
static const int case_shorter_interval_left_endpoint_lower_threshold = 2
 
static const int case_shorter_interval_left_endpoint_upper_threshold = 3
 
static const int shorter_interval_tie_lower_threshold = -35
 
static const int shorter_interval_tie_upper_threshold = -35
 
static const int max_trailing_zeros = 7
 

Detailed Description

Definition at line 1211 of file format.h.

Member Typedef Documentation

◆ carrier_uint

using carrier_uint = uint32_t

Definition at line 1212 of file format.h.

Member Data Documentation

◆ big_divisor

const int big_divisor = 100
static

Definition at line 1220 of file format.h.

◆ cache_bits

const int cache_bits = 64
static

Definition at line 1224 of file format.h.

◆ case_fc_lower_threshold

const int case_fc_lower_threshold = -2
static

Definition at line 1228 of file format.h.

◆ case_fc_pm_half_lower_threshold

const int case_fc_pm_half_lower_threshold = -1
static

Definition at line 1226 of file format.h.

◆ case_fc_pm_half_upper_threshold

const int case_fc_pm_half_upper_threshold = 6
static

Definition at line 1227 of file format.h.

◆ case_fc_upper_threshold

const int case_fc_upper_threshold = 6
static

Definition at line 1229 of file format.h.

◆ case_shorter_interval_left_endpoint_lower_threshold

const int case_shorter_interval_left_endpoint_lower_threshold = 2
static

Definition at line 1230 of file format.h.

◆ case_shorter_interval_left_endpoint_upper_threshold

const int case_shorter_interval_left_endpoint_upper_threshold = 3
static

Definition at line 1231 of file format.h.

◆ decimal_digits

const int decimal_digits = 9
static

Definition at line 1218 of file format.h.

◆ divisibility_check_by_5_threshold

const int divisibility_check_by_5_threshold = 39
static

Definition at line 1225 of file format.h.

◆ exponent_bias

const int exponent_bias = -127
static

Definition at line 1217 of file format.h.

◆ exponent_bits

const int exponent_bits = 8
static

Definition at line 1214 of file format.h.

◆ kappa

const int kappa = 1
static

Definition at line 1219 of file format.h.

◆ max_exponent

const int max_exponent = 127
static

Definition at line 1216 of file format.h.

◆ max_k

const int max_k = 46
static

Definition at line 1223 of file format.h.

◆ max_trailing_zeros

const int max_trailing_zeros = 7
static

Definition at line 1234 of file format.h.

◆ min_exponent

const int min_exponent = -126
static

Definition at line 1215 of file format.h.

◆ min_k

const int min_k = -31
static

Definition at line 1222 of file format.h.

◆ shorter_interval_tie_lower_threshold

const int shorter_interval_tie_lower_threshold = -35
static

Definition at line 1232 of file format.h.

◆ shorter_interval_tie_upper_threshold

const int shorter_interval_tie_upper_threshold = -35
static

Definition at line 1233 of file format.h.

◆ significand_bits

const int significand_bits = 23
static

Definition at line 1213 of file format.h.

◆ small_divisor

const int small_divisor = 10
static

Definition at line 1221 of file format.h.