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 types

type atermpp::indexed_set::size_type

typedef for super::size_type

Public member functions

void clear(std::size_t thread_index = 0)
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.
std::pair<size_type, bool> insert(const Key &key, std::size_t thread_index = 0)