First function is not ground term.
More...
#include <random_term_generator.hh>
List of all members.
Static Public Attributes |
static const size_t | value |
Detailed Description
template<typename T, typename Ret, typename... Args, typename... Functions>
struct catsfoot::details::number_ground_terms< T, std::function< Ret(Args...)>, Functions...>
First function is not ground term.
Member Data Documentation
template<typename T , typename Ret , typename... Args, typename... Functions>
const size_t catsfoot::details::number_ground_terms< T, std::function< Ret(Args...)>, Functions...>::value [static] |
Initial value:
number_ground_terms<T, Functions...>::value
The documentation for this struct was generated from the following file: