mcrl2/utilities/type_traits.h

Include file:

#include "mcrl2/utilities/type_traits.h"

Classes

  • mcrl2::utilities::function_traits< ReturnType(ClassType::*)(Args...) const >::arg
  • mcrl2::utilities::forall
  • mcrl2::utilities::forall
  • mcrl2::utilities::function_traits
  • mcrl2::utilities::function_traits
  • mcrl2::utilities::is_applicable
  • mcrl2::utilities::is_applicable2
  • mcrl2::utilities::is_applicable2
  • mcrl2::utilities::is_applicable
  • mcrl2::utilities::is_constant_function_yielding
  • mcrl2::utilities::is_constant_function_yielding
  • mcrl2::utilities::is_iterable
  • mcrl2::utilities::is_iterable
  • mcrl2::utilities::is_iterator
  • mcrl2::utilities::is_iterator

Variables

constexpr bool mcrl2::utilities::is_iterable_v
constexpr bool mcrl2::utilities::is_iterator_v