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)
std::pair<iterator, bool> insert(const Key &key)
std::size_t size() const