mcrl2/utilities/type_traits.h

Include file:

#include "mcrl2/utilities/type_traits.h"

Classes

  • mcrl2::utilities::forall

  • mcrl2::utilities::forall

  • 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