mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::detail::free_list< Element >::slot_iterator< Constant >::Sentinel Struct Reference
Detailed Description
template<typename Element>
template<bool Constant = true>
struct mcrl2::utilities::detail::free_list< Element >::slot_iterator< Constant >::Sentinel
Definition at line
78
of file
free_list.h
.
The documentation for this struct was generated from the following file:
utilities/include/mcrl2/utilities/detail/
free_list.h
mcrl2
utilities
detail
free_list
slot_iterator
Sentinel
Generated by
1.9.7