mcrl2/utilities/indexed_set.h

Include file:

#include "mcrl2/utilities/indexed_set.h"

Classes

• mcrl2::utilities::detail::atomic_size_t_wrapper
• mcrl2::utilities::indexed_set
• mcrl2::utilities::detail::thread_control