Loading...
Searching...
No Matches
Go to the source code of this file.
|
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 > |
|
|
namespace | mcrl2 |
| A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
|
|
namespace | mcrl2::utilities |
|