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
11namespace arene {
12namespace base {
13
14/// @brief An alias to float.
15using f32_t = float;
16
17static_assert(
18 sizeof(f32_t) == sizeof(std::uint32_t), //
19 "f32_t (aka float) is not 4 bytes on this platform" //
20);
21static_assert(
23 "f32_t (aka float) does not meet IEC559/IEEE754 requirements on this platform"
24);
25
26/// @brief An alias to double.
27using f64_t = double;
28
29static_assert(
30 sizeof(f64_t) == sizeof(std::uint64_t), //
31 "f64_t (aka double) is not 8 bytes on this platform" //
32);
33static_assert(
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_
Definition array_exceptions_disabled.cpp:11
Copyright 2026, Toyota Motor Corporation.
Definition array_exceptions_disabled.cpp:10