mcrl2::data::detail::enumerator_iteration_limit< T > Struct Template Reference

#include <enumerator_iteration_limit.h>

Static Public Attributes
static std::size_t	max_enumerator_iterations = 1000

Detailed Description

template<class T>
struct mcrl2::data::detail::enumerator_iteration_limit< T >

Definition at line 26 of file enumerator_iteration_limit.h.

Member Data Documentation

max_enumerator_iterations

template<class T >

std::size_t mcrl2::data::detail::enumerator_iteration_limit< T >::max_enumerator_iterations = 1000

static

Definition at line 28 of file enumerator_iteration_limit.h.

---

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

• data/include/mcrl2/data/detail/enumerator_iteration_limit.h