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: