mCRL2
Loading...
Searching...
No Matches
type_traits.h File Reference

Go to the source code of this file.

Classes

struct  mcrl2::utilities::is_iterable< T, typename >
 A typetrait that is std::true_type iff std::begin() and std::end() can be called on type T. More...
 
struct  mcrl2::utilities::is_iterable< T, std::void_t< decltype(std::begin(std::declval< T >())), decltype(std::end(std::declval< T >())) > >
 
struct  mcrl2::utilities::is_iterator< T, typename >
 A typetrait that is std::true_type iff the given type has the iterator traits. More...
 
struct  mcrl2::utilities::is_iterator< T, typename std::enable_if<!std::is_same< typename std::iterator_traits< T >::value_type, void >::value >::type >
 
struct  mcrl2::utilities::forall< Conds >
 Checks whether condition holds for all types passed as variadic template. More...
 
struct  mcrl2::utilities::forall< Cond, Conds... >
 
struct  mcrl2::utilities::is_constant_function_yielding< FunctionType, ResultType, typename >
 
struct  mcrl2::utilities::is_applicable< FunctionType, ArgumentType, typename >
 
struct  mcrl2::utilities::is_applicable< FunctionType, ArgumentType, typename std::result_of< FunctionType(ArgumentType)>::type >
 
struct  mcrl2::utilities::is_applicable2< FunctionType, ArgumentType1, ArgumentType2, typename >
 
struct  mcrl2::utilities::is_applicable2< FunctionType, ArgumentType1, ArgumentType2, typename std::result_of< FunctionType(ArgumentType1, ArgumentType2)>::type >
 
struct  mcrl2::utilities::function_traits< T >
 
struct  mcrl2::utilities::function_traits< ReturnType(ClassType::*)(Args...) const >
 
struct  mcrl2::utilities::function_traits< ReturnType(ClassType::*)(Args...) const >::arg< i >
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::utilities
 

Variables

template<typename T >
constexpr bool mcrl2::utilities::is_iterable_v = is_iterable<T>::value
 
template<typename T >
constexpr bool mcrl2::utilities::is_iterator_v = is_iterator<T>::value