GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
REAL_PRECISION
+
Point of view
All features
ANY
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
)
Set the mantissa precision, used by the
~=
operator The nearer to 0, the more precise.
precision
:
INTEGER_8
{}
precision_ref
:
REFERENCE
[
INTEGER_8
]
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
= a_precision
precision
:
INTEGER_8
effective function
{
ANY
}
top
ensure
Result >= 0
precision_ref
:
REFERENCE
[
INTEGER_8
]
once function
{}
top