proconlib

This documentation is automatically generated by competitive-verifier/competitive-verifier

View the Project on GitHub anqooqie/proconlib

:heavy_check_mark: tools::integral except for bool (tools/non_bool_integral.hpp)

template <typename T>
concept non_bool_integral = tools::is_integral_v<T> && !std::is_same_v<std::remove_cv_t<T>, bool>;

It is a concept that represents integral types except for bool. It also supports tools::int128_t and tools::uint128_t.

Constraints

Time Complexity

License

Author

Depends on

Verified with

Code

#ifndef TOOLS_NON_BOOL_INTEGRAL_HPP
#define TOOLS_NON_BOOL_INTEGRAL_HPP

#include <type_traits>
#include "tools/is_integral.hpp"

namespace tools {
  template <typename T>
  concept non_bool_integral = ::tools::is_integral_v<T> && !::std::is_same_v<::std::remove_cv_t<T>, bool>;
}

#endif
#line 1 "tools/non_bool_integral.hpp"



#include <type_traits>
#line 1 "tools/is_integral.hpp"



#line 5 "tools/is_integral.hpp"

namespace tools {
  template <typename T>
  struct is_integral : ::std::is_integral<T> {};

  template <typename T>
  inline constexpr bool is_integral_v = ::tools::is_integral<T>::value;
}


#line 6 "tools/non_bool_integral.hpp"

namespace tools {
  template <typename T>
  concept non_bool_integral = ::tools::is_integral_v<T> && !::std::is_same_v<::std::remove_cv_t<T>, bool>;
}


Back to top page