Line data    Source code

       1            0 : // Distributed under the MIT License.
       2              : // See LICENSE.txt for details.
       3              : 
       4              : #pragma once
       5              : 
       6              : #include <cstddef>
       7              : 
       8              : #include "Domain/Structure/ObjectLabel.hpp"
       9              : 
      10              : /// \cond
      11              : namespace control_system::Systems {
      12              : template <::domain::ObjectLabel Horizon, size_t DerivOrder>
      13              : struct Size;
      14              : }  // namespace control_system::Systems
      15              : /// \endcond
      16              : 
      17              : namespace control_system::size {
      18              : // tt::is_a doesn't work because of domain::ObjectLabel and size_t
      19              : template <typename T>
      20            0 : struct is_size : std::false_type {};
      21              : 
      22              : template <domain::ObjectLabel Label, size_t DerivOrder>
      23            0 : struct is_size<Systems::Size<Label, DerivOrder>> : std::true_type {};
      24              : 
      25              : /// Check whether a control system is the `control_system::Systems::Size` system
      26              : /// or not
      27              : template <typename T>
      28            1 : constexpr bool is_size_v = is_size<T>::value;
      29              : }  // namespace control_system::size