+
Point of view
All features
expanded class REAL_PRECISION
Summary
top
Direct parents
Insert list: ANY
Known children
Insert list: REAL_GENERAL
Overview
top
Features
{ANY}
{}
set_precision (a_precision: INTEGER_8)
effective procedure
{ANY}
top
Set the mantissa precision, used by the ~= operator The nearer to 0, the more precise.
require
  • a_precision >= 0
ensure
precision: INTEGER_8
effective function
{ANY}
top
ensure
  • Result >= 0
precision_ref: REFERENCE[INTEGER_8]
once function
{}
top