atermpp::indexed_set

Include file:

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

A set that assigns each element an unique index, and protects its internal terms en masse.

Public member functions

indexed_set()

Constructor of an empty indexed set. Starts with a hashtable of size 128.

indexed_set(std::size_t number_of_threads)

Constructor of an empty indexed set. Starts with a hashtable of size 128.

indexed_set(std::size_t number_of_threads, std::size_t initial_hashtable_size, const typename super::hasher &hash = typename super::hasher(), const typename super::key_equal &equals = typename super::key_equal())

Constructor of an empty index set. Starts with a hashtable of the indicated size.

Parameters:

  • initial_hashtable_size The initial size of the hashtable.

  • hash The hash function.

  • equals The comparison function for its elements.