mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::is_constant_function_yielding< FunctionType, ResultType, typename > Struct Template Reference
#include <
type_traits.h
>
Inheritance diagram for mcrl2::utilities::is_constant_function_yielding< FunctionType, ResultType, typename >:
Detailed Description
template<typename FunctionType, typename ResultType, typename = void>
struct mcrl2::utilities::is_constant_function_yielding< FunctionType, ResultType, typename >
Definition at line
56
of file
type_traits.h
.
The documentation for this struct was generated from the following file:
utilities/include/mcrl2/utilities/
type_traits.h
mcrl2
utilities
is_constant_function_yielding
Generated by
1.9.7