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