#include <type_traits.h>

Inheritance diagram for mcrl2::utilities::is_applicable2< FunctionType, ArgumentType1, ArgumentType2, typename std::result_of< FunctionType(ArgumentType1, ArgumentType2)>::type >:

Detailed Description

template<typename FunctionType, typename ArgumentType1, typename ArgumentType2>
struct mcrl2::utilities::is_applicable2< FunctionType, ArgumentType1, ArgumentType2, typename std::result_of< FunctionType(ArgumentType1, ArgumentType2)>::type >

Definition at line 86 of file type_traits.h.

The documentation for this struct was generated from the following file:

utilities/include/mcrl2/utilities/type_traits.h