Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
aliases.hpp
Go to the documentation of this file.
1
// Copyright 2026, Toyota Motor Corporation
2
//
3
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4
5
#
ifndef
INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_MATH_ALIASES_HPP_
6
#
define
INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_MATH_ALIASES_HPP_
7
8
#
include
"arene/base/stdlib_choice/cstdint.hpp"
9
#
include
"arene/base/stdlib_choice/numeric_limits.hpp"
10
11
namespace
arene
{
12
namespace
base
{
13
14
/// @brief An alias to float.
15
using
f32_t =
float
;
16
17
static_assert
(
18
sizeof
(
f32_t
) ==
sizeof
(
std
::
uint32_t
),
//
19
"f32_t (aka float) is not 4 bytes on this platform"
//
20
);
21
static_assert
(
22
std
::
numeric_limits
<
f32_t
>::
is_iec559
,
23
"f32_t (aka float) does not meet IEC559/IEEE754 requirements on this platform"
24
);
25
26
/// @brief An alias to double.
27
using
f64_t =
double
;
28
29
static_assert
(
30
sizeof
(
f64_t
) ==
sizeof
(
std
::
uint64_t
),
//
31
"f64_t (aka double) is not 8 bytes on this platform"
//
32
);
33
static_assert
(
34
std
::
numeric_limits
<
f64_t
>::
is_iec559
,
35
"f64_t (aka double) does not meet IEC559/IEEE754 requirements on this platform"
36
);
37
38
}
// namespace base
39
}
// namespace arene
40
41
#
endif
// INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_MATH_ALIASES_HPP_
arene::base
Definition
array_exceptions_disabled.cpp:11
arene
Copyright 2026, Toyota Motor Corporation.
Definition
array_exceptions_disabled.cpp:10
arene
base
math
aliases.hpp
Generated by
1.13.2