catsfoot::details::number_ground_terms< T, std::function< T()>, Functions...> Struct Template Reference

First function is 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... Functions>
struct catsfoot::details::number_ground_terms< T, std::function< T()>, Functions...>

First function is ground term.


Member Data Documentation

template<typename T , typename... Functions>
const size_t catsfoot::details::number_ground_terms< T, std::function< T()>, Functions...>::value [static]
Initial value:
        number_ground_terms<T, Functions...>::value + 1

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