constraints.hpp

Go to the documentation of this file.

// Copyright 2026, Toyota Motor Corporation
//
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
///
/// @file constraints.hpp
/// @brief Public export header for the constraints subpackage
///
#ifndef INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_CONSTRAINTS_HPP_
#define INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_CONSTRAINTS_HPP_
 
// parasoft-begin-suppress AUTOSAR-A16_2_2-a-2 "Arene Base aggregate headers permitted by A16-2-2 Permit #1"
#include "arene/base/constraints/constraints.hpp"            // IWYU pragma: export
#include "arene/base/constraints/substitution_succeeds.hpp"  // IWYU pragma: export
// parasoft-end-suppress AUTOSAR-A16_2_2-a-2
 
#endif  // INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_CONSTRAINTS_HPP_