mcrl2::utilities::indexed_set¶

Include file:

#include "mcrl2/utilities/indexed_set.h

class mcrl2::utilities::indexed_set¶: A set that assigns each element an unique index.

Private types¶

type Map¶: typedef for unordered_map< Key, T, Hash, Equals, Allocator, ThreadSafe >

type T¶: typedef for std::size_t

Public types¶

type const_iterator¶: typedef for typename Map::const_iterator

type iterator¶: typedef for typename Map::iterator

Private attributes¶

Map m_map¶

Public member functions¶

const T &at(const Key &key) const¶

iterator begin()¶

const_iterator begin() const¶

void clear()¶

int count(const Key &key)¶

iterator end()¶

const_iterator end() const¶

iterator find(const Key &key)¶

const_iterator find(const Key &key) const¶

indexed_set()¶

indexed_set(std::size_t initial_size)¶

std::pair<iterator, bool> insert(const Key &key)¶

std::size_t size() const¶