mcrl2/atermpp/standard_containers/indexed_set.h

Include file:

#include "mcrl2/atermpp/standard_containers/indexed_set.h"

Classes

• atermpp::indexed_set

Functions

bool mcrl2::utilities::detail::contains(const atermpp::indexed_set<Key, ThreadSafe, Hash, Equals, Allocator, KeyTable> &c, const typename atermpp::indexed_set<Key, ThreadSafe, Hash, Equals, Allocator, KeyTable>::key_type &v, const std::size_t thread_index = 0)